function prekresli() 
{
  menu.style.pixelTop=document.body.scrollTop;
  window.setTimeout("prekresli()",1);
}