document.writeln(6712);