document.writeln("6875")