document.write("3142 ");