( 11 , 712 .)