document.write("3147 ");