( 12 7 6)