var scrollTimer = 0;

function menuScroll() {
	window.clearTimeout(scrollTimer);
	scrollTimer = window.setTimeout("doMenuScroll();", 120);
}

function doMenuScroll() {
	if (parseInt(menuObj.style.marginTop) != parseInt(document.body.scrollTop)) {
		if (parseInt(menuObj.style.marginTop) > parseInt(document.body.scrollTop))
			menuObj.style.marginTop = parseInt(menuObj.style.marginTop)+((parseInt(document.body.scrollTop)-parseInt(menuObj.style.marginTop))/6) < parseInt(document.body.scrollTop) ? parseInt(document.body.scrollTop) : parseInt(menuObj.style.marginTop)+((parseInt(document.body.scrollTop)-parseInt(menuObj.style.marginTop))/6);
		else if (parseInt(menuObj.style.marginTop) < parseInt(document.body.scrollTop))
			menuObj.style.marginTop = parseInt(menuObj.style.marginTop)+((parseInt(document.body.scrollTop)-parseInt(menuObj.style.marginTop))/6) > parseInt(document.body.scrollTop) ? parseInt(document.body.scrollTop) : parseInt(menuObj.style.marginTop)+((parseInt(document.body.scrollTop)-parseInt(menuObj.style.marginTop))/6);
		
		scrollTimer = window.setTimeout("doMenuScroll();", 20);
	}
}