20259 . ) ( G517 .)