document.writeln("6777");