var cc = string.charCodeAt(0); 
var cc = string.charCodeAt(0); 
function IsWhiteSpace( string ) {    var cc = string.charCodeAt(0);    switch (cc) {    case (0x0009):    case (0x000B):    case (0x000C):    case (0x0020):    case (0x000A):    case (0x000D):    case ( 59 ): // let's strip out semicolons, too	return true;	break;    default:	return false;    }}
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