if(pm_currentId != null) { pm_hideMenu(pm_currentId) }  
function pm_showMenu(id, pos, leftOffset, topOffset) {   pm_currentId = id;   pm_showing = true;   var style = $(id).style;   if(pos) {     style.left = (pos[0] - leftOffset)  + "px";     style.top = (pos[1] - topOffset) + "px";   }   style.visibility = "";  //<= resets to default} 
9897	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9897/c73a3d02b20dd8e5d47e8d200f04d80987fbfc90/popupMenu.js/clean/website/js/popupMenu.js