if (document.images) {

      button1     = new Image ();
      button1.src = "http://www.mobilegaming.nl/images/nav_arcade.gif";

      button2     = new Image ();
      button2.src = "http://www.mobilegaming.nl/images/nav_arcade_on.gif";

      button3     = new Image ();
      button3.src = "http://www.mobilegaming.nl/images/nav_platform.gif";

      button4     = new Image ();
      button4.src = "http://www.mobilegaming.nl/images/nav_platform_on.gif";

      button5     = new Image ();
      button5.src = "http://www.mobilegaming.nl/images/nav_puzzel.gif";

      button6     = new Image ();
      button6.src = "http://www.mobilegaming.nl/images/nav_puzzel_on.gif";

      button7     = new Image ();
      button7.src = "http://www.mobilegaming.nl/images/nav_sport.gif";

      button8     = new Image ();
      button8.src = "http://www.mobilegaming.nl/images/nav_sport_on.gif";

      button9     = new Image ();
      button9.src = "http://www.mobilegaming.nl/images/nav_diversen.gif";

      button10     = new Image ();
      button10.src = "http://www.mobilegaming.nl/images/nav_diversen_on.gif";

				
        }
	
   // this function swaps the images

function swapImage(oldButton,newButton){
   if (document.images)
      document.images[oldButton].src=eval(newButton + ".src");
}