20259 . ) ( 6517 .)