( 7-half 10 ).