// JavaScript Document
if (document.images)
{
  pic1= new Image(72,81); 
  pic1.src="images/nav/1_1_home.jpg"; 

  pic2= new Image(146,81); 
  pic2.src="images/nav/2_1_corporate.jpg"; 

  pic3= new Image(83,81); 
  pic3.src="images/nav/3_1_projects.jpg"; 
  
  pic4= new Image(148,81); 
  pic4.src="images/nav/4_1_investors.jpg"; 

  pic5= new Image(113,81); 
  pic5.src="images/nav/5_1_corpgov.jpg"; 

  pic6= new Image(109,81); 
  pic6.src="images/nav/6_1_contact.jpg"; 
}