rem: iframe.setAttribute("src", "javascript: " + code); 
add: iframe.contentDocument.location = "javascript: " + encodeURIComponent(code); 
context: function evaluateTypein(){  var code = document.getElementById("TextboxEval").value;  var iframe = document.getElementById("Evaluator");  iframe.setAttribute("src", "javascript: " + code);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8395/f705e3c22ee130b9b92bc04774f7bb6482ebcf1d/console.js/clean/xpfe/components/console/resources/content/console.js