document.write("<b><tt>");
document.write("3270</tt></b>");