function output (text) 
function output (text) 
function output (text) {    if (typeof alert != 'undefined')     {        alert(text);    }    else if (typeof print != 'undefined')     {        print(text);    }}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-292455.js/buggy/js/tests/e4x/GC/regress-292455.js