( 7 , 613 .)