// XXX BACKSLASHES original code was reading like this
//return this.escape_id(key_value).replace(/\\/g, '');
// however this sequence removes backslashes from hrn's and as a result
// XXX BACKSLASHES original code was reading like this
//return this.escape_id(key_value).replace(/\\/g, '');
// however this sequence removes backslashes from hrn's and as a result