document.write("     1142");