<!--
if (document.images)
{

  pic1= new Image(139,37); 
  pic1.src="images/topnavbgselected.png"; 

  pic2= new Image(142,37); 
  pic2.src="images/topnavrightbgselected.png"; 

  pic3= new Image(139,37); 
  pic3.src="images/topnavbghover.png"; 

  pic4= new Image(142,37); 
  pic4.src="images/topnavrightbghover.png"; 

  pic5= new Image(143,37); 
  pic5.src="images/topnavleftbghover.png"; 

}
//-->