( 17 9 3)