/*	
	if(document.images){

	var b1=new Image();  
		b1.src="../images/nave_main/equipment_a.gif";
		  }
*/
	function flip(rahmen,datei){document.images[rahmen].src=datei;}