unstring.py

from strings import stringlist
import re
import json

re_stringaccess = re.compile(r"_\$_447d\[([0-9]+)\]")

def main():
    def repl(matchobj):
        numstr = matchobj.groups()[0]
        idx = json.loads(numstr)
        return "'{}'".format(stringlist[idx])

    with open("unstringed.js","w") as outfile:
        for line in open("jsnice.js"):
            fixed = re_stringaccess.sub(repl, line)
            outfile.write(fixed)

if __name__ == '__main__':
    main()