document.writeln("6712");