request using the attribute value as the file name:*/
			      xhttp = new XMLHttpRequest();
			      xhttp.onreadystatechange = function() {
			        if (this.readyState == 4) {
			          if (this.status == 200) {elmnt.innerHTML = this.responseText;}
			          if (this.status == 404) {elmnt.innerHTML = "Page not found.";}
			          /*remove the attribute, and call this function once more:*/
			          elmnt.removeAttribute("w3-include-html");
			          includeHTML();
			        }
			      }