function print() { var s = ''; 
function print() { var s = ''; 
function print() {   var s = '';   var a;  for (var i = 0; i < arguments.length; i++)   {     a = arguments[i];     s += String(a) + ' ';   }   if (typeof dump == 'function')  {    dump( s + '\n');  }  s = s.replace(/[<>&]/g, htmlesc);  DocumentWrite(s);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/browser.js/buggy/js/tests/browser.js