var timer
function scrolltop()
{
document.getElementById('scrollmenu').style.top=document.body.scrollTop +100+"px"
timer=setTimeout("scrolltop()",1)
}
function stoptimer()
{
clearTimeout(timer)
}