20020503 unknown: ISI paid Omar's legal fees; says Pak official