document.writeln('1001')