document.writeln("9612");