rem: if( event == undefined ) event = window.event; 
context:    document.onmouseup = function( event ) {      if( event == undefined ) event = window.event;      win.el_body.style.display = "block";      document.onmousemove = false;      /* user event */      if( win.onresize ) win.onresize();   }
meta: 4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4636/25d9ce99298d54dd2c4ffab4a9109a8fbab2a981/hop-iwindow.js/clean/share/hop-iwindow.js