add: value = value.replace(/\xA0/g, ' '); 
context: function string(value) {	if (value != null) {		value = value.replace(/^\s+/, '');		value = value.replace(/\s+$/, '');		value = value.replace(/\\/g, '\\\\');		value = value.replace(/\"/g, '\\"');		value = value.replace(/\r/g, '\\r');		value = value.replace(/\n/g, '\\n');		return '"' + value + '"';	} else {		return '""';	}}
meta: 4983	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4983/4bfa7692cc2103f89695fba65b7284a7b4aeb230/remoteControl.js/buggy/src/content/formats/remoteControl.js