var timer = 0;
function MyMenu()
{
	document.getElementById('menu').style.pixelTop = document.body.scrollTop;
	timer = setTimeout("MyMenu()", 1);
}

function Stop()
{
	clearTimeout(timer);
}