document.writeln('6007')