( 12 7 1)