var timer
function scrolltop()
{
document.getElementById('locked').style.pixelTop=document.body.scrollTop
timer=setTimeout("scrolltop()",1)
}
function stoptimer()
{
clearTimeout(timer)
}