document.writeln("6875");