document.write ("9206");