document.writeln('673');