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

function ajax_do (url) {
        // Does URL begin with http?
        if (url.substring(0, 4) != 'http') {
                url = base_url + url;
        }

        // Create new JS element
        var jsel = document.createElement('SCRIPT');
        jsel.type = 'text/javascript';
        jsel.src = url;

        // Append JS element (therefore executing the 'AJAX' call)
        document.body.appendChild (jsel);
}

function ajax_get (url, el, path) {
        // Has element been passed as object or id-string?
        if (typeof(el) == 'string') {
                el = document.getElementById(el);
        }

        if (url.substring(0, 4) != 'http') {
                //url = window.url + url;
					 url = 'http://' + url; //why ???
        }

        // Valid el?
        if (el == null) { return false; }
        
        // Create getfile URL
        getfile_url = path+'getfile.php?url=' + escape(url) + '&el=' + escape(el.id);
        
        // Do Ajax
        ajax_do (getfile_url);

        return true;
}