( 10 , 519 .)