if(document.images)
{
		p1 =  new Image();
		p2 =  new Image();
		p3 =  new Image();
		p4 =  new Image();
		p5 =  new Image();
		p6 =  new Image();



		p1.src = "graphics/nav_over_05.gif";
		p2.src = "graphics/nav_over_06.gif";
		p3.src = "graphics/nav_over_07.gif";
		p4.src = "graphics/nav_over_08.gif";
		p5.src = "graphics/nav_over_09.gif";


		
}