function parseParts(str){    var re = /\$([_A-Za-z][_A-Za-z0-9.|]*)/g;    var index = 0;    var parts = [];    var m;    while (m = re.exec(str))    {        var pre = str.substr(index, (re.lastIndex-m[0].length)-index);        if (pre)            parts.push(pre);                var expr = m[1].split("|");        parts.push(new Variable(expr[0], expr.slice(1)));        index = re.lastIndex;    }    if (!index)        return str;        var post = str.substr(index);    if (post)        parts.push(post);    return new Parts(parts);}
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/domplate.js/clean/extension/content/firebug/domplate.js