y ( 25 , 517 .)