( 13 , 712 .)