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_12.gif";
p2.src="graphics/nav_13.gif";
p3.src="graphics/nav_14.gif";
p4.src="graphics/nav_15.gif";
p5.src="graphics/nav_11.gif";
}