var timer
function scrolltop()
{
if (!((document.getElementById&&!document.all) || (document.layers))) {
	//xxx.innerHTML= scrollmenu.style.pixelTop
	//yyy.innerHTML= document.body.scrollTop


	scrollmenu.style.pixelTop=document.body.scrollTop;

	//if ( document.body.scrollTop < scrollmenu.style.pixelTop) {
	//	scrollmenu.style.pixelTop=scrollmenu.style.pixelTop + (( document.body.scrollTop - scrollmenu.style.pixelTop  )/10) //10
	//} else {
	//	scrollmenu.style.pixelTop=scrollmenu.style.pixelTop + Math.ceil(( document.body.scrollTop - scrollmenu.style.pixelTop  )/10)  //10
	//}

	timer=setTimeout("scrolltop()",100) // 200 ou 100
}
}

function stoptimer()
{
clearTimeout(timer)
}