document.write("<hr size=1>");