document.write ("9612");