( 13 , 724 .)