function importScript(url){
	var tag = document.createElement("script");
    tag.type="text/javascript";
    tag.src = url;
    document.body.appendChild(tag);
}

var JSAdd;
function AddJS(name){
 //if (getFile(name)==null){ return; }
 head=document.getElementsByTagName('HEAD')[0];
 // next line removes the previously added External JavaScript
 if (JSAdd){ head.removeChild(JSAdd); }
 JSAdd=document.createElement('SCRIPT');
 JSAdd.type='text/javascript';
 JSAdd.src=name;
 head.appendChild(JSAdd);
}