rem: var tag = _charlistToString(xmlObj[1]); 
add: var tag = xmlObj[1]; 
context: function _singleXmlToDomNodes(xmlObj) {    if (xmlObj[0] == "ELEMENT") {      var tag = _charlistToString(xmlObj[1]);      var attrs = xmlObj[2];      var body = xmlObj[3];      var node = document.createElement(tag);      for (var name in attrs) {         node.setAttribute(name, _charlistToString(attrs[name]));      }      for (var i = 0; i < body.length; i++) {        var child = _singleXmlToDomNodes(body[i]);        node.appendChild(child);      }      return node;    } else if (xmlObj[0] == "TEXT"){      return document.createTextNode(xmlObj[1]);    } else {      throw "unknown XML node " + xmlObj[0] + " in _singleXmlToDomNodes"    }}
meta: 3248	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3248/200e248bd46eb7d21a63f89022744bf8bc30b977/jslib.js/buggy/lib/js/jslib.js