// JavaScript Document
if (document.images)
{
  pic1= new Image(155,31); 
  pic1.src="images/nav_hover.gif"; 

  pic2= new Image(155,31); 
  pic2.src="images/nav_over.gif"; 

  pic3= new Image(83,31); 
  pic3.src="images/more_over.gif"; 
}