Do you want to explain how these keys are generated? It's not obvious what the `:0:7` part is.