function s_empty()
{
	document.getElementById('search_field').value = '';
}
function s_fill()
{
	if (document.getElementById('search_field').value == '')
	{
		document.getElementById('search_field').value = 'Zoeken';
	}
}