var iframe = document.getElementById("Evaluator"); iframe.contentDocument.location = "javascript: " + encodeURIComponent(code); 
var evaluator = document.getElementById("Evaluator").contentWindow; evaluator.location = "about:blank"; evaluator.location = "javascript: " + encodeURIComponent(code); 
function evaluateTypein(){  var code = gTextBoxEval.value;  var iframe = document.getElementById("Evaluator");  iframe.contentDocument.location = "javascript: " + encodeURIComponent(code);}
9707	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9707/482b6fd26ac29464a007930bfc6d38a7df06e563/console.js/clean/suite/common/console/console.js