//  ua=navigator.userAgent;
//  v=navigator.appVersion.substring(0,1);
//  if ((ua.lastIndexOf("MSIE")!=-1) && (v!='1') && (v!='2') && (v!='3'))

   if (document.images){

// Hoofdnavigatie

      button1     = new Image ();
      button1.src = "images/navigatie/photoshop.gif";

      button2     = new Image ();
      button2.src = "images/navigatie/photoshop_over.gif";

      button3     = new Image ();
      button3.src = "images/navigatie/livemotion.gif";

      button4     = new Image ();
      button4.src = "images/navigatie/livemotion_over.gif";

      button5     = new Image ();
      button5.src = "images/navigatie/website.gif";

      button6     = new Image ();
      button6.src = "images/navigatie/website_over.gif";

      button7     = new Image ();
      button7.src = "images/navigatie/links.gif";

      button8     = new Image ();
      button8.src = "images/navigatie/links_over.gif";

      button9     = new Image ();
      button9.src = "images/navigatie/discussie.gif";

      button10     = new Image ();
      button10.src = "images/navigatie/discussie_over.gif";

      button11     = new Image ();
      button11.src = "images/navigatie/home.gif";

      button12     = new Image ();
      button12.src = "images/navigatie/home_over.gif";

      button13     = new Image ();
      button13.src = "images/navigatie/mail.gif";

      button14     = new Image ();
      button14.src = "images/navigatie/mail_over.gif";

//Ondernavigatie

      button15     = new Image ();
      button15.src = "images/navigatie/photoshop.gif";

      button16     = new Image ();
      button16.src = "images/navigatie/photoshop_over.gif";

      button17     = new Image ();
      button17.src = "images/navigatie/livemotion.gif";

      button18     = new Image ();
      button18.src = "images/navigatie/livemotion_over.gif";

      button19     = new Image ();
      button19.src = "images/navigatie/website.gif";

      button20     = new Image ();
      button20.src = "images/navigatie/website_over.gif";

      button21     = new Image ();
      button21.src = "images/navigatie/links.gif";

      button22     = new Image ();
      button22.src = "images/navigatie/links_over.gif";

      button23     = new Image ();
      button23.src = "images/navigatie/discussie.gif";

      button24     = new Image ();
      button24.src = "images/navigatie/discussie_over.gif";

      button25     = new Image ();
      button25.src = "images/navigatie/home.gif";

      button26     = new Image ();
      button26.src = "images/navigatie/home_over.gif";

      button27     = new Image ();
      button27.src = "images/navigatie/mail.gif";

      button28     = new Image ();
      button28.src = "images/navigatie/mail_over.gif";



	}

   // this function swaps the images

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