keepOpen = false;
globalDelay = 3000;
element = "";
timeout = "";

function openDiv(layer){
	if (element != "") {						//letztes Div ausblenden
		element.style.visibility = 'hidden';
	}
	clearTimeout(timeout);
	element = document.getElementById(layer);
	element.style.visibility = 'visible';
	wait();
}

function wait(){
	timeout = setTimeout("hideDiv()", globalDelay);
	timeout_set = true;
}
function hideDiv(){
	if (!keepOpen){
		element.style.visibility = 'hidden';
		timeout_set = false;
	}
}

function mouseOutEvent(){
	if ((element != "") && (!timeout_set)){
		keepOpen = false;
		hideDiv();
	}
}

function setTrue(){
	timeout_set = false;
	keepOpen = true;
}

function dontDoNothing(){}