document.write("3144 ");