//Pre cached images for menu
      button2_off  = new Image(); button2_off.src  = "images/Buttons/MenuBar_02_Off.gif";
      button2_on   = new Image(); button2_on.src   = "images/Buttons/MenuBar_02_On.gif";
      button3_off  = new Image(); button3_off.src  = "images/Buttons/MenuBar_03_Off.gif";
      button3_on   = new Image(); button3_on.src   = "images/Buttons/MenuBar_03_On.gif";
      button4_off  = new Image(); button4_off.src  = "images/Buttons/MenuBar_04_Off.gif";
      button4_on   = new Image(); button4_on.src   = "images/Buttons/MenuBar_04_On.gif";
      button5_off  = new Image(); button5_off.src  = "images/Buttons/MenuBar_05_Off.gif";
      button5_on   = new Image(); button5_on.src   = "images/Buttons/MenuBar_05_On.gif";
      button6_off  = new Image(); button6_off.src  = "images/Buttons/MenuBar_06_Off.gif";
      button6_on   = new Image(); button6_on.src   = "images/Buttons/MenuBar_06_On.gif";
      button7_off  = new Image(); button7_off.src  = "images/Buttons/MenuBar_07_Off.gif";
      button7_on   = new Image(); button7_on.src   = "images/Buttons/MenuBar_07_On.gif";
     
	  
//Roll over function
      function button_on(name)  {document[name].src = eval(name + "_on.src") ;}
      function button_off(name) {document[name].src = eval(name + "_off.src");}