// JavaScript Document
function close_banner(){
            document.getElementById("banner").style.display = "none";
			document.getElementById("banner").style.visibility = "hidden";
		}