return strippedString; 
} return strippedString; 
function StripSpaces( s ) {    var strippedString = "";    for ( var currentChar = 0; currentChar < s.length; currentChar++ ) {	if (!IsWhiteSpace(s.charAt(currentChar))) {	    strippedString += s.charAt(currentChar);	}    }    return strippedString;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/function-002.js/buggy/js/tests/js1_4/Regress/function-002.js