may be used later
function(path){
	var xhr=new XMLHttpRequest;
	xhr.open('GET',baseUrl+'web/'+path+'.js', false);
	xhr.send();
	if(xhr.status !== 200) new FatalError(/*#if DEV*/'Unable to load: '+path+'.js'/*#/if*/); 
	var s = document.createElement('script');
	s.type = "text/javascript";
	s.text = xhr.responseText;
	document.getElementsByTagName('head')[0].appendChild(s);
}