// ========================================================================= // // tinyxmldom.js - an XML DOM parser in JavaScript compressed for downloading // // This is the classic DOM that has shipped with XML for