document.writeln('6241');