VERRUCA (960)    LOCAL KEYWORD (8984.1)