uri += encodeURIComponent(eval_body); 
uri += encodeURIComponent(source); 
    getDataURLForScript: function(script, eval_body)    {        if (!eval_body)            return "eval."+script.tag;        // data:text/javascript;fileName=x%2Cy.js;baseLineNumber=10,<the-url-encoded-data>        var uri = "data:text/javascript;";        uri += "fileName="+encodeURIComponent(script.fileName) + ";";        uri += "baseLineNumber="+encodeURIComponent(script.baseLineNumber) + ","        uri += encodeURIComponent(eval_body);        return uri;    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/4430f0c18a86cfa77637c382657dd43348a627ce/debugger.js/clean/extension/content/firebug/debugger.js