inputElement.addEventListener("keyup", inputKeyUp, false); 
function loaded(){    inputElement = document.getElementById("input");    inputElement.addEventListener("keydown", inputKeyDown, false);    inputElement.focus();}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/6acfeb5c327defa48dc81ee07ab548181e485603/console.js/clean/WebKitTools/Drosera/console.js