function runbanner() { document.write ('\n'); document.write ('\n'); document.write ('\n'); document.write ('\n'); }