/* ei_menue.js */


<!--

function list(){
	
	if(document.getElementById('open').style.visibility=='visible'){
		
		document.getElementById('open').style.visibility= 'hidden'	
	}else{
	
		document.getElementById('open').style.visibility= 'visible'	
	}
	
}
//-->