( 21 , 712 .)