document.writeln('7940');