menu1_1 = new Image();
menu2_1 = new Image();
menu3_1 = new Image();
menu4_1 = new Image();
menu5_1 = new Image();
menu1_2 = new Image();
menu2_2 = new Image();
menu3_2 = new Image();
menu4_2 = new Image();
menu5_2 = new Image();

menu1_1.src="../images/menu1_1.gif";
menu2_1.src="../images/menu2_1.gif";
menu3_1.src="../images/menu3_1.gif";
menu4_1.src="../images/menu4_1.gif";
menu5_1.src="../images/menu5_1.gif";
menu1_2.src="../images/menu1_2.gif";
menu2_2.src="../images/menu2_2.gif";
menu3_2.src="../images/menu3_2.gif";
menu4_2.src="../images/menu4_2.gif";
menu5_2.src="../images/menu5_2.gif";

function change_img(name,img) {

  if(document.images) { document.images[name].src = eval(img + ".src");}

}

function show_layer() {
  if (document.layers) {
      document.layers['sub1'].visibility = "show"; }
  else {
      document.all['sub1'].style.visibility = "visible"; }
}