iframe.setAttribute("src", "javascript: " + encodeURIComponent(code)); 
iframe.contentDocument.location = "javascript: " + encodeURIComponent(code); 
function evaluateTypein(){  var code = gTextBoxEval.value;  var iframe = document.getElementById("Evaluator");  iframe.setAttribute("src", "javascript: " + encodeURIComponent(code));}
9707	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9707/c2d675dde431346806829c2ce6dfba9568946bea/console.js/buggy/suite/common/console/console.js