document.write ('9 ');