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