iframe.setAttribute("src", "javascript: " + code); 
iframe.setAttribute("src", "javascript: " + encodeURIComponent(code)); 
function evaluateTypein(){  var code = gTextBoxEval.value;  var iframe = document.getElementById("Evaluator");  iframe.setAttribute("src", "javascript: " + code);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/4bf4774ca635a461e8e40dfcfdd00ec0e7856573/console.js/buggy/toolkit/components/console/content/console.js