document.writeln('6243');