function banner () { document.writeln(''); }