function showMenu(Event) { // Dummy function
}

function hideMenu(Event) { // Dummy function
}

function openImage(url, wid, width, height){
  if (window.picwin && !window.picwin.closed) window.picwin.close();
  window.picwin=window.open(url, wid, 'toolbar=0, status=0, menubar=0, scrollbars=0, resizable=0, width='+width+', height='+height);
  window.picwin.focus();
}