document.write("12147 ");