document.write("142 ");