var chk = navigator.userAgent.indexOf("Mozilla/3")>= 0 || navigator.userAgent.indexOf("Mozilla/4")>= 0 || navigator.userAgent.indexOf("Mozilla/5.0")>=0;
	
	if ( chk )	{
		var pump_on=new Image();
		var pump_off=new Image();		
		var motor_on=new Image();
		var motor_off=new Image();
                            		
		pump_off.src="images/main/p.jpg";
		pump_on.src="images/main/p2.jpg";
		motor_off.src="images/main/m.jpg";
		motor_on.src="images/main/m2.jpg";


	}

	function changeImage(oldImage, newImage) 
	{
		oldImage.src=newImage.src;
	}