if (document.images) {

      button1     = new Image ();
      button1.src = "http://www.true-tones.nl/images/tab_home.gif";

      button2     = new Image ();
      button2.src = "http://www.true-tones.nl/images/tab_home_on.gif";

      button3     = new Image ();
      button3.src = "http://www.true-tones.nl/images/tab_monotones.gif";

      button4     = new Image ();
      button4.src = "http://www.true-tones.nl/images/tab_monotones_on.gif";

      button5     = new Image ();
      button5.src = "http://www.true-tones.nl/images/tab_polytones.gif";

      button6     = new Image ();
      button6.src = "http://www.true-tones.nl/images/tab_polytones_on.gif";

      button7     = new Image ();
      button7.src = "http://www.true-tones.nl/images/tab_logos.gif";

      button8     = new Image ();
      button8.src = "http://www.true-tones.nl/images/tab_logos_on.gif";

      button9     = new Image ();
      button9.src = "http://www.true-tones.nl/images/tab_editors.gif";

      button10     = new Image ();
      button10.src = "http://www.true-tones.nl/images/tab_editors_on.gif";

      button11     = new Image ();
      button11.src = "http://www.true-tones.nl/images/tab_smspictures.gif";

      button12     = new Image ();
      button12.src = "http://www.true-tones.nl/images/tab_smspictures_on.gif";

      button13     = new Image ();
      button13.src = "http://www.true-tones.nl/images/tab_screensavers.gif";

      button14     = new Image ();
      button14.src = "http://www.true-tones.nl/images/tab_screensavers_on.gif";

      button15     = new Image ();
      button15.src = "http://www.true-tones.nl/images/tab_wallpapers.gif";

      button16     = new Image ();
      button16.src = "http://www.true-tones.nl/images/tab_wallpapers_on.gif";

      button17     = new Image ();
      button17.src = "http://www.true-tones.nl/images/tab_zoek.gif";

      button18     = new Image ();
      button18.src = "http://www.true-tones.nl/images/tab_zoek_on.gif";
						
        }
	
   // this function swaps the images

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