( 12 , 607 .)