document.writeln("6777")