var printed = i.toString(16); if (printed.length < 4) { printed= prefixes[printed.length - 1]+printed; } return printed; 
var printed = i.toString(16); if (printed.length < 4) { printed= prefixes[printed.length - 1]+printed; } return printed; 
function to_4_hex(i){    var printed = i.toString(16);    if (printed.length < 4) {        printed= prefixes[printed.length - 1]+printed;    }    return printed;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-280769-4.js/buggy/js/tests/js1_5/Regress/regress-280769-4.js