// JScript File
if (document.images)
{
  pic1= new Image(150,47); 
  pic1.src="graphics/design/navbackgroundoff.gif";
  pic2= new Image(150,47); 
  pic2.src="graphics/design/navbackgroundon.gif";
}