document.write ( 9 );