var js;
function include_js(file) {
    var html_doc = document.getElementsByTagName('head')[0];
    js = document.createElement('script');
    js.setAttribute('type', 'text/javascript');
    js.setAttribute('src', file);
    html_doc.appendChild(js);

    js.onreadystatechange = function () {
        if (js.readyState == 'complete') {
           // alert('JS onreadystate fired');
        }
    }

    js.onload = function () {
        //alert('JS onload fired');
    }
    return false;
}

include_js("js/TextBox.js");
include_js("js/BlockingBackground.js");
include_js("js/FloatingPanel.js");
include_js("js/StockedFunctions.js");
include_js("js/Mouse.js");