( 12 9 7)