var timer_out = null;

function init_page(){
	window.onmousemove = mouse;
	if (document.all) document.onmousemove = mouse;
}