// Menüpunkt farbig hinterlegen bei Überfahren mit der Maus
	function MenuColOn(item,col) {
		item.style.backgroundColor="#FFFFCC";
	}


// Menüpunkt-Hintergrundfarbe wieder zurücksetzen 
	function MenuColOf(item,col) {
		item.style.backgroundColor=document.bgColor;
	}


// Neues Browserfenster mit angeg. URL öffnen
	function blank(desktopURL,w,h)
	{
		f0 = window.open(desktopURL,"_blank","resizable=yes,screenX=10,screenY=10,width="+(w)+",height="+(h));
		f0.moveTo(10,10);
	}


// 2 Frames gleichzeitig aktualisieren
	function Upd2Frames(url1,f1,url2,f2)    {  
	    parent.frames[f1].location.href=url1;
	    parent.frames[f2].location.href=url2;
	}