function output_doc(elem)
  {
  if (elem.type == 0) //Check if the node type is an element
          {
              if (elem.tagName == "MUSICIANS") //tagnames are returned in uppercase
              {
                  document.write("<TABLE BORDER='1' CELLPADDING='5'>"); //begin table
                  traverse(elem); //to be defined yet; for traversing the children
                  document.write("</TABLE>");
                      }
              else if (elem.tagName == "MUSICIAN")
              {
                  document.write("<TR>"); //begin row
                  traverse(elem); //to be defined yet; for traversing the children
                  document.write("</TR>");
                      }
              else
              {
                  document.write("<TD>"); //begin cell
                  traverse(elem); //to be defined yet; for traversing the children
                  document.write("</TD>");
              }
  
            }
  else if (elem.type==1) //Check if the node type is text
          document.write(elem.text);
      else
          alert("Unknown type encountered");
    }