20020725 unknown: Globally known; locally...