( 9 , 617 .)