document.writeln("6707");