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 = document.getElementById("TextboxEval").value;  var iframe = document.getElementById("Evaluator");  iframe.contentDocument.location = "javascript: " + encodeURIComponent(code);}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/5a7bf31fdf20f55d9197229b458d839478c38382/console.js/clean/xpfe/components/console/resources/content/console.js