document.writeln('6994')