// js script to load an external file //
function loadDocument() { const xhttp = new XMLHttpRequest(); xhttp.onload = function () { document.getElementById("document").innerHTML = this.responseText; } xhttp.open("GET", "text/document.xml"); xhttp.send(); }