/*
 * Javascript files importer
 */


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

function include(jsFile) {

    if (scriptsToIncude[jsFile] != null) return;

    var scriptElt = document.createElement('script');
    scriptElt.type = 'text/javascript';
    scriptElt.src = jsFile;
    document.getElementsByTagName('head')[0].appendChild(scriptElt);
    scriptsToIncude[jsFile] = jsFile;

}