add: if( event == undefined ) event = window.event; 
context: 	    document.onmousemove = function( event ) {	       var w = w0 + (x0 - event.clientX);	       win.style.left = (l0 + w0) - w;	       win.el_main.style.width = w;	       win.el_main.style.height = h0 + (event.clientY - y0);	    }
meta: 4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4636/d9d6b2e3c521aa0e9b012cc36e10a59371fdfee5/hop-iwindow.js/buggy/share/hop-iwindow.js