Any of those would work