document.writeln("6781");