add: dd ("doEval caught: " + __ex);  
context: function con_eval(__s){    var __ex;    try    {        return eval(__s);     }    catch (__ex)    {        if (__ex.fileName && __ex.fileName.search (/venkman-eval.js$/) != -1)        {            __ex.fileName = MSG_VAL_CONSOLE;            __ex.lineNumber = 1;        }        throw __ex;    }        }
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/88cbd5adc145b4dd1bd685d48466f86b66826aa8/venkman-eval.js/clean/extensions/venkman/resources/content/venkman-eval.js