( 12 7 7)