( 17 , 519 .)