function menuOn (menu) {
  menu.src = menu.src.replace ('_off', '_on')
}

function menuOff (menu) {
  menu.src = menu.src.replace ('_on', '_off')
}

function popUp (url, w, h, s) {
  window.open (url, "", "left=40, top=40, width="+w+", height="+h+", scrollbars="+s);
}