document.writeln('6312');