// JavaScript Document

if(document.images)
{
	p1=new Image();	
	p2=new Image();
	p3=new Image();
	p4=new Image();
	p5=new Image();
	
	p1.src="images/nav_home_over.gif";
	p2.src="images/nav_location_over.gif";
	p3.src="images/nav_personnel_over.gif";
	p4.src="images/nav_recruitment_over.gif";
	p5.src="images/nav_contactus_over.gif";
	
}