( 14 , 712 .)