// high light the menu bar on mouse over
function hilite(imgname,imgsrc) {
  document.images[imgname].src = imgsrc;
}

function launch01(win_url,win_name,win_width,win_height) {
  newwin = window.open(win_url,win_name,"height="+win_height+",width="+win_width+",scrollbars=yes,location=no,toolbar=yes,directories=no,menubar=yes,status=yes,resizable=yes");
  newwin.opener = window;
  if (document.images) {  // eg if it's js 1.1 (which supports 'focus()')
    newwin.focus();
  }
}