span.innerHTML = msg + '<br>'; document.getElementById("console").appendChild(span); 
document.getElementById("console").appendChild(span); span.innerHTML = msg + '<br />'; 
function debug(msg){    var span = document.createElement("span");    span.innerHTML = msg + '<br>';    document.getElementById("console").appendChild(span);}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/ebc3ff12800cf960bdbcc98917b46b7dd97fd4ef/js-test-pre.js/clean/LayoutTests/fast/js/resources/js-test-pre.js