def default_reverse_key_func(full_key):
match = reverse_key_re.match(full_key)<EOL>return match.group(<NUM_LIT:3>), match.group(<NUM_LIT:1>), int(match.group(<NUM_LIT:2>))<EOL>
Reverse of Django's default_key_func, i.e. undoing:

    def default_key_func(key, key_prefix, version):
        return '%s:%s:%s' % (key_prefix, version, key)