banner=('\"\"');document.write(banner);