var initpos, scroll, newpos, str;

function initScroll(menu) {
 str=eval('menu');
 initpos=parseInt(document.getElementById(str).style.top);
 }

function scrollMenu(menu) {
 scroll=parseInt(document.body.scrollTop);
 newpos=initpos+scroll;
 str=eval('menu');
 document.getElementById(menu).style.top=newpos+"px";
 str=eval('menu');
 setTimeout("scrollMenu(str)",100);
 }