url = document.location.href;
xend = url.lastIndexOf("/") + 1;
var base_url = url.substring(0, xend);

function addScript(url) {
        if (url.substring(0, 4) != 'http') {
                url = base_url + url;
        }
        var jsel = document.createElement('SCRIPT');
        jsel.type = 'text/javascript';
        jsel.src = url;
        document.body.appendChild (jsel);
}
