var Dif = 0

function init() 
{
   window.setInterval( "MenuMover()",20 )
}

function MenuMover() 
{
   if (document.layers) document.all = document.layers;
   Dif = parseInt( ( document.body.scrollTop - document.all.menudiv.offsetTop ) * .1 )
   if (isNaN(Dif)) Dif=0
   if (Dif == 0)
   {
      document.all.menudiv.style.pixelTop = document.body.scrollTop
   }
   else
   {
      document.all.menudiv.style.pixelTop += Dif
   }
}