if (document.images)
    {
     button1h = new Image(140,32);
     button1h.src="gfx/button1h.gif";
     button1u = new Image(140,32);
     button1u.src="gfx/button1u.gif";
     button2h = new Image(140,32);
     button2h.src="gfx/button2h.gif";
     button2u = new Image(140,32);
     button2u.src="gfx/button2u.gif";
     button3h = new Image(140,32);
     button3h.src="gfx/button3h.gif";
     button3u = new Image(140,32);
     button3u.src="gfx/button3u.gif";
     button4h = new Image(140,32);
     button4h.src="gfx/button4h.gif";
     button4u = new Image(140,32);
     button4u.src="gfx/button4u.gif";
     button5h = new Image(140,32);
     button5h.src="gfx/button5h.gif";
     button5u = new Image(140,32);
     button5u.src="gfx/button5u.gif";
     button6h = new Image(140,32);
     button6h.src="gfx/button6h.gif";
     button6u = new Image(140,32);
     button6u.src="gfx/button6u.gif";
     button7h = new Image(140,32);
     button7h.src="gfx/button7h.gif";
     button7u = new Image(140,32);
     button7u.src="gfx/button7u.gif";
     button8h = new Image(140,32);
     button8h.src="gfx/button8h.gif";
     button8u = new Image(140,32);
     button8u.src="gfx/button8u.gif";
     button9h = new Image(140,32);
     button9h.src="gfx/button9h.gif";
     button9u = new Image(140,32);
     button9u.src="gfx/button9u.gif";
    }
   function highlightbutton(imgName,imgType)
    {
     if (document.images)
      {
       document.getElementById(imgName).src=eval(imgName+imgType).src;
      }
    }