document.writeln('6731');