function banner() { document.write(""); }