<!-- ;
if (document.images) 
{
   img1 = new Image();
   img2 = new Image();
   img1.src = "../images2/buttons/mainnav.jpg";
   img2.src = "../images2/buttons/mainnavover.jpg"
}

-->