document.writeln(712);