document.write ("9 ");