document.writeln("9972");