( 20 , 518 .)