Short non-sequential unique id generator in a user-specified format