( 4 , 607 .)