Use a redis counter for an id generator :1234: