function an() {
	document.getElementById('onopen').style.visibility = 'visible';
}

function aus() {
	document.getElementById('onopen').style.visibility = 'hidden';
}

var Dauer = 10000;						// Dauer in 1/1000 Sekunden
t = null;
function schliessen(){
t = setTimeout('aus()',Dauer);
}