document.writeln("6707")