Distributed Conversion of a String-keyed to Int-keyed DRM