( 12 6 7)