function scroll(){
document.getElementById("menu").style.top = document.body.scrollTop;
setTimeout( "scroll()", 10 );
}