( 17 8 9)