if(document.images){
	 
	 menu1=new Image
	 menu2=new Image
	 menu3=new Image
	 menu4=new Image
	 menu5=new Image
	 
	 
	 menu1.src="images/menu/home_on.gif"
	 menu2.src="images/menu/partnering_on.gif"
	 menu3.src="images/menu/installations_on.gif" 
	 menu4.src="images/menu/system10_on.gif"
	 menu5.src="images/menu/contact_on.gif" 
	 
	 }
	 else{
	 menu1=""
	 menu2=""
	 menu3=""
	 menu4=""
	 menu5=""
	 
	 	 
	 document.menu=""
	 	 
	 }