// JavaScript Document

// Location of the JS folder relative to the site's root. No trailing slashes.
var JSROOT = "/js";

if (!globalFramework) {
	// Continue loading the rest of the JS framework.
	var globalFramework = true;
	var html_doc = document.getElementsByTagName("head").item(0);
	var js = document.createElement("script");
	js.setAttribute("language", "javascript");
	js.setAttribute("type", "text/javascript");
	js.setAttribute("src", JSROOT + "/framework.js");
	html_doc.appendChild(js);
}