context: 	document.onmousemove = function ()	{		if (is_ie5up || is_nav6up || is_gecko) {			if (arguments[0]) {				dynCalendar_mouseX = arguments[0].pageX;				dynCalendar_mouseY = arguments[0].pageY;			} else {				dynCalendar_mouseX = event.clientX + document.body.scrollLeft;				dynCalendar_mouseY = event.clientY + document.body.scrollTop;				arguments[0] = null;			}				dynCalendar_oldOnmousemove();		}	}
meta: 4931	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4931/29826c9ec48639e18e51b183116eec52acf9ce79/dynCalendarWidget.js/clean/calendar3/deployment/webadmin/webapp/resources/resources/dynCalendarWidget.js