var timer;

function scrolltop()
{
  document.getElementById('scrollmenu').style.top=document.body.scrollTop;
  timer=setTimeout("scrolltop()",1);
}

function stoptimer()
{
  clearTimeout(timer);
}