( 16 , 613 .)