if(document.images)
	{
		p1 =  new Image();
		p2 =  new Image();
		p3 =  new Image();
		p4 =  new Image();
		p1.src = "graphics/index_over_06.gif";
		p2.src = "graphics/index_over_07.gif";
		p3.src = "graphics/index_over_08.gif";
		p4.src = "graphics/index_over_09.gif";
		
			
	}