//onerror = stopError;

function stopError() {
	return true;
}

TO = "";
who = "";

function show_layer(x){
	who = x;
	document.getElementById(x).style.display="block";
}

function hide_layer(x){
	if(TO != "")
		clearTimeout(TO);
	document.getElementById(x).style.display="none";
	who = "";
}

function hide(){
	if(who != "")
		hide_layer(who);
}


function highlight(ziel, klasse) {
   var objekt = document.getElementById(ziel);
   objekt.className = klasse;
}