document.writeln('6001')