evaluator.location = "javascript: " + encodeURIComponent(code); 
evaluator.location = "javascript: " + code.replace(/%/g, "%25"); 
function evaluateTypein(){  var code = gTextBoxEval.value;  var evaluator = document.getElementById("Evaluator").contentWindow;  evaluator.location = "about:blank"; // reset the iframe  evaluator.location = "javascript: " + encodeURIComponent(code);}
9707	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9707/95de7b6cc018e91225e397d0594c93e9aa44e02a/console.js/buggy/suite/common/console/console.js