document.writeln('1012')