// JavaScript Document

// menu hover
<!--
  function change_bg(id)
  {
    if(id == 'menu1') document.getElementById('menu1').style.backgroundPosition="bottom";
    else document.getElementById('menu1').style.backgroundPosition="top";
    
    if(id == 'menu2') document.getElementById('menu2').style.backgroundPosition="bottom";
    else document.getElementById('menu2').style.backgroundPosition="top";
    
    if(id == 'menu3') document.getElementById('menu3').style.backgroundPosition="bottom";
    else document.getElementById('menu3').style.backgroundPosition="top";
    
    if(id == 'menu4') document.getElementById('menu4').style.backgroundPosition="bottom";
    else document.getElementById('menu4').style.backgroundPosition="top";
    
    if(id == 'menu5') document.getElementById('menu5').style.backgroundPosition="bottom";
    else document.getElementById('menu5').style.backgroundPosition="top";
    
    if(id == 'menu6') document.getElementById('menu6').style.backgroundPosition="bottom";
    else document.getElementById('menu6').style.backgroundPosition="top";
    
    if(id == 'menu7') document.getElementById('menu7').style.backgroundPosition="bottom";
    else document.getElementById('menu7').style.backgroundPosition="top";
    
    if(id == 'menu8') document.getElementById('menu8').style.backgroundPosition="bottom";
    else document.getElementById('menu8').style.backgroundPosition="top";
  }