function includeHTML(){var e,t,n,i,s;for(t=0,e=document.getElementsByTagName("*");t<e.length;t++)if(i=(n=e[t]).getAttribute("w3-include-html")){(s=new XMLHttpRequest).onreadystatechange=function(){4==this.readyState&&(200==this.status&&(n.innerHTML=this.responseText),404==this.status&&(n.innerHTML="Page not found."),n.removeAttribute("w3-include-html"),includeHTML())},s.open("GET",i,!0),s.send();return}}