default: return false; 
default: return false; 
function isWhiteSpace(charCode){  switch (charCode)  {    case (0x0009):    case (0x000B):    case (0x000C):    case (0x0020):    case (0x000A):  // '\n'    case (0x000D):  // '\r'      return true;      break;    default:      return false;  }}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-90596-001.js/clean/js/tests/js1_5/extensions/regress-90596-001.js