DOMInclude = {
	__included_documents : [],
	includeOnce : function includeOnce(source)
	{
		if(this.arrayIndexOf(this.__included_documents,source) == -1) {
			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', source);
			html_doc.appendChild(js);
			this.__included_documents.push(source);	
			//if(typeof(log) != "undefined" && typeof(log.addMessage) != "undefined") log.addMessage("DOMInclude.includeOnce: The resource: " + source + " has been included!", "debug");
		} else {
			//if(typeof(log) != "undefined" && typeof(log.addMessage) != "undefined") log.addMessage("DOMInclude.includeOnce: The resource: " + source + " has already been loaded", "debug");
		}
	},

	arrayIndexOf : function arrayIndexOf(list,string)
	{
		var r = -1;
		for(var i = 0; i < list.length && r == -1; i++){
			if(list[i] == string) r = i;
		}
		return r;
	}

}