document.write("6272 ");