document.writeln('12612')