// JScript File

function _inc(jsFile) {
if (_scripts[jsFile] != null) return;
var scriptElt = document.createElement('script');
scriptElt.type = 'text/javascript';
scriptElt.src = jsFile;
document.getElementsByTagName('head')[0].appendChild(scriptElt);
_scripts[jsFile] = jsFile;
}