( 15 , 619 .)