// Print banner HTML
document.write("");