function InfoDiv(html) {
	return "<div style='font-size:10pt'>" + html + "</div><br><br>";
}

function InnerText(node) { return node.text?node.text:node.textContent }




//======= Include for JS files

var Included={};
function Include() {
	var src, url, heads;
	heads = document.getElementsByTagName("head");
	if (heads.length==0) {throw new Error(0x8009000,"Include: No <head> tag exists. Scripts not loaded.");}
	url = unescape(document.URL);
	for (a=0; a<arguments.length; a++) {
		src = arguments[a];
		if (Included[src]) continue;
		Included[src] = true;
		if (url.substr(0,5)=="file:") {
			if (src.charAt(0)=="/") src = "C:<your webroot directory full path>"+src;
			else src = url.slice(7,url.lastIndexOf("\\")+1)+src;
		}
		
		document.write('<' + 'script src="' + src + '"' +' type="text/javascript"><' + '/script>');
	}
}
