// JavaScript Document

if (document.images) 
{
   img1 = new Image();
   img2 = new Image();
   img1.src = "images/navbutton-active.png";
   img2.src = "images/navbutton-inactive.png"
}