context:     function doReplace(symbol)    {        var name = symbol.substr(1);        if (name in vars)            return vars[name];                return "$" + name;    };
meta: 1622	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1622/0918cade427e1856c2e2bcfdefa8b4ea3e457b73/utils.js/clean/js/lib/utils.js