// JavaScript Document

if (typeof(scripts) == 'undefined') var scripts = new Object();


function JS_import(fileName) {

	if (scripts[fileName] != null) return;
	
	var scriptElt = document.createElement('script');
	scriptElt.type = 'text/javascript';
	scriptElt.src = fileName;
	document.getElementsByTagName('head')[0].appendChild(scriptElt);
	scripts[fileName] = fileName; // or whatever value your prefer
}



JS_import('gblVars.js');
JS_import('langSwitch.js');
JS_import('formVal.js');