function plane_nummer() {

try
	{
		if(document.getElementById('plane_div').style.visibility='hidden') 
			{
				document.getElementById('plane_div').style.visibility='visible';
			}
	}
catch(e)
	{
		document.getElementById("plane_div").style.visibility="hidden";
	}
}