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