/*****************************************************/

/* Simple menu mouseover tricks                      */

/*****************************************************/



var pi=new Array(20);

for (var i = 0; i<=19; i++)

{	pi[i] = new Image();	pi[i].src = "menu/menu_" + i + "-on.jpg"; }





function menuOn(i) {

  document.getElementById("m"+i).src = pi[i].src;

}



function menuOff(i) {

  document.getElementById("m"+i).src = "menu/menu_" + i + ".jpg";

}


