document.onmousemove = mouseMove;

function mouseMove(event) {
	mouseMove_positiontip(event);	// dhtmltooltip2.js
}