document.writeln('6042');