/*
window.onscroll = scroll;
function scroll(){	
	var div=document.getElementById("top_nav_container");
	var browser=navigator.appName; 
	if (browser=="Microsoft Internet Explorer"){ 
		var scrollFunction=document.documentElement.scrollTop;
	} else { 
		var scrollFunction=window.pageYOffset;
	}

	if (scrollFunction>120){
		div.style.visibility="hidden";
	} else {
		div.style.visibility="hidden";
	}
}
*/