( 35 , 519 .)