// JavaScript Document

if (document.images)
{
  pic1= new Image(91,102); 
  pic1.src="../images/nav_port_over.jpg"; 

  pic2= new Image(91,102); 
  pic2.src="../images/nav_support_over.jpg"; 

  pic3= new Image(91,102); 
  pic3.src="../images/nav_contact_over.jpg"; 

}