// JavaScript Document

function hide_banner() {
	document.getElementById('banner').style.display="none";
}
function show_banner() {
	document.getElementById('banner').style.display="block";
}