function banner() { document.getElementById("banner").innerHTML = '

'; }