document.writeln("6812");