var code = gTextBoxEval.value; var evaluator = document.getElementById("Evaluator").contentWindow; evaluator.location = "about:blank"; evaluator.location = "javascript: " + code.replace(/%/g, "%25"); 
gCodeToEvaluate = gTextBoxEval.value;   gEvaluator.contentWindow.location = "about:blank"; 
function evaluateTypein(){  var code = gTextBoxEval.value;  var evaluator = document.getElementById("Evaluator").contentWindow;  evaluator.location = "about:blank"; // reset the iframe  evaluator.location = "javascript: " + code.replace(/%/g, "%25");}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/a34803544cdd80688c16d28b36f0c6c0d7b396d4/console.js/clean/toolkit/components/console/content/console.js