return text.join("<br>"); 
return text.join("<br>"); 
function getVerticalText(n){    n = n+"";    var text = [];    for (var i = 0; i < n.length; ++i)        text.push(n[i]);    return text.join("<br>");    }
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/layout.js/buggy/extension/content/firebug/layout.js