document.write("4142 ");