} 
} 
function ToUint32Decimal( bin ) {    var r = 0;    for ( l = bin.length; l < 32; l++ ) {        bin = "0" + bin;    }    for ( j = 0; j < 31; j++ ) {        r += Math.pow( 2, j ) * Number(bin.charAt(31-j));    }    return r;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/11.7.1.js/buggy/js/tests/ecma/Expressions/11.7.1.js