var includedFiles = new Array();
function include(fname) {
	if (includedFiles[fname]) { return; }
	var fn = "/js/" + fname.replace(/::/g, '/') + '.js';
	includedFiles[fname] = 1;
	document.writeln("<script type=\"text/javascript\" src=\"" + fn + "\"><" + "/script>");
}

include("controls");
include("files");