( 13 , 617 .)