document.writeln('6001');