document.write ("7 ");