document.write("1142 ");