function zeigeButton(checkbox, zahl)
{
	if(checkbox=="over")
		{
			document.getElementById("hl_button").style.visibility="visible";
			document.getElementById("hl_button").style.top=zahl;
		}
   else
		{
			document.getElementById("hl_button").style.visibility="hidden";
		}
}

function zeigeButton_u(checkbox, hochu)
{
	breit=18;
	if(checkbox=="over")
		{
			document.getElementById("hl_button").style.visibility="visible";
			document.getElementById("hl_button").style.bottom=hochu;
			document.getElementById("hl_button").style.height=breit;
		}
   else
		{
			document.getElementById("hl_button").style.visibility="hidden";
		}
}