( 12 7)