// JavaScript Document

<!--
if (document.images)
{
  pic1= new Image(69,47); 
  pic1.src="images/home_on.gif"; 

  pic2= new Image(188,47); 
  pic2.src="images/current_on.gif"; 

  pic3= new Image(115,47); 
  pic3.src="images/about_on.gif"; 
  
  pic4= new Image(178,47); 
  pic4.src="images/values_on.gif"; 

  pic5= new Image(172,47); 
  pic5.src="images/experience_on.gif"; 

  pic6= new Image(108,47); 
  pic6.src="images/alert_on.gif"; 
  
  pic7= new Image(72,47); 
  pic7.src="images/login_on.gif"; 
}
//-->