var default1 = "kreis_text_rot";
var default2 = "kreis_rot";
var zeigen;
var zeit = 0;
var millisekunden = 1200;

/**/function showhide(what,div1,div2) {/**/
	
	if (what == "show") {
		if (zeit == 1) {
			clearTimeout(zeigen);
			var zeigen = 0;
		}
		if (div1 != default1) defaultdiv_hide();
		if (div1) document.getElementById(div1).style.visibility="visible";
		if (div2) document.getElementById(div2).style.visibility="visible";
	}
	
	if (what == "hide") {
		verzoegerung();
		if (div1) document.getElementById(div1).style.visibility="hidden";
		if (div2) document.getElementById(div2).style.visibility="hidden";
	}
}

/**/function verzoegerung() {/**/
	zeit = 1;
	zeigen=setTimeout("defaultdiv_show()",millisekunden);
}

/**/function defaultdiv_hide() {/**/
	clearTimeout(zeigen);
	if (default1) document.getElementById(default1).style.visibility="hidden";
	if (default2) document.getElementById(default2).style.visibility="hidden";
}
/**/function defaultdiv_show() {/**/
	clearTimeout(zeigen);
	if (default1) document.getElementById(default1).style.visibility="visible";
	if (default2) document.getElementById(default2).style.visibility="visible";
}