rem: function _xmldump(xml) { return (new XMLSerializer()).serializeToString(xml) 
add: function _xmldump(xmlNode) { var text = false; try {  var serializer = new XMLSerializer(); text = serializer.serializeToString(xmlNode); } catch (e) { try {  text = xmlNode.xml; } catch (e) {} } return text;  
context: function _xmldump(xml) {   return (new XMLSerializer()).serializeToString(xml)}
meta: 3248	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3248/a2793baf4159e09553902744e25baa5ab5934ff3/jslib.js/buggy/jslib.js