Page History

function load_javascript_header(url) {
	const script = document.createElement("script");
	script.type = "text/javascript";
	script.src = url;
	script.async = true;
	script.crossorigin = "anonymous";
	document.head.appendChild(script);
	eval(script);
}

function load_javascript_body(url) {
	const script = document.createElement("script");
	script.type = "text/javascript";
	script.src = url;
	script.async = true;
	script.crossorigin = "anonymous";
	document.body.appendChild(script);
	eval(script);
}