( 19 , 617 .)