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);

}