function scroll(){
    var a=document.body.scrollTop+257 
    menu.style.top=a
//	var b=document.body.scrollBottom+95
//    menutop.style.bottom=b
}