//togglet visibility der searchhelp-box
function searchhelp()
	{
	if(document.getElementById('searchhelp').style.visibility == 'hidden')
		{
		document.getElementById('searchhelp').style.visibility = 'visible';
		}
	else
		{
		document.getElementById('searchhelp').style.visibility = 'hidden';
		}
	}