( 9 ; 72;