document.writeln('12673');