function loadXML(divName, resName) {
  const xsltProcessor = new XSLTProcessor();
  // Load the xsl file
  //alert(resName);
  myXMLHTTPRequest = new XMLHttpRequest();
  myXMLHTTPRequest.open("GET", "/xsl?d="+resName, false);
  myXMLHTTPRequest.send(null);
  const xslRef = myXMLHTTPRequest.responseXML;
  xsltProcessor.importStylesheet(xslRef);
  // Load the XML file
  myXMLHTTPRequest = new XMLHttpRequest();
  myXMLHTTPRequest.open("GET", "/xml?d="+resName, false);
  myXMLHTTPRequest.send(null);
  xmlDoc = myXMLHTTPRequest.responseXML;
  const fragment = xsltProcessor.transformToFragment(xmlDoc, document);
  myDOM = fragment;
  $("#"+divName).html(fragment);
}