document.writeln("6007")