document.writeln('6707');