rem: document.onmousemove = onMouseMouveEvent; 
add: document.onmousemove = onMouseMoveEvent; 
context: function initEvents() {	document.onmousemove = onMouseMouveEvent;	document.onmousedown = onMouseDownEvent;	document.onmouseup = onMouseUpEvent;	window.onresize = windowOnResizeEvent;	if (gBrowserObj.browser == "Netscape") {		document.captureEvents(Event.MOUSEMOVE);		document.captureEvents(Event.MOUSEDOWN);		document.captureEvents(Event.MOUSEUP);	}}
meta: 8692	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8692/13b0fa4b8eaa39cea9c25fb2bc13d3de0f4a75ca/zoom.js/clean/src/web/web/js/zoom.js