function menuTopHover(id)
{
	document.getElementById(id).className = "menuTopHover";
}

function menuTopReturn(id)
{
	document.getElementById(id).className = "menuTop";
}

function link(verweis)
{
	location.href = verweis;
}

function openWindow(verweis,breite,hoehe)
{
	var props = "width="+breite+",height="+hoehe+",left=50,top=50";
	Fenster = window.open(verweis, "Eismann", props);
  	Fenster.focus();
}