for ( var z = 0; z < a; z++ ) { s = firstbit + s; } 
for ( var z = 0; z < a; z++ ) { s = firstbit + s; } 
function SignedRShift( s, a ) {    s = ToInt32BitString( s );    var firstbit = s.substring(0,1);    s = s.substring( 1, s.length );    for ( var z = 0; z < a; z++ ) {        s = firstbit + s;    }    s = s.substring( 0, s.length - a);    s = firstbit +s;    return ToInt32(ToInt32Decimal(s));}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/11.7.2.js/buggy/js/tests/ecma/Expressions/11.7.2.js