var acttitle="Open Menu";
function menuOpen(){
	var tops0 = document.body.scrollTop;
	if(menu1.style.pixelTop == tops0-200){
		menu1.style.pixelTop = tops0;
		acttitle="Close Menu";
	} else {
		menu1.style.pixelTop = tops0 - 200;
		acttitle="Open Menu";
	}
	activetitle.innerHTML= acttitle;
}
function menuClose(){
	var tops0 = document.body.scrollTop;
	menu1.style.pixelTop = tops0-200;
	activetitle.innerHTML= "Open Menu";
}
function scrollmenu(){
	var topos = document.body.scrollTop;
	menu1.style.pixelTop = topos-200;
}
onscroll = scrollmenu;
onresize = scrollmenu;
onmousewheel = scrollmenu;