// JavaScript Document

function menu(){
var y=document.body.scrollTop;
document.getElementById("men").style.pixelTop=y;
}