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

var ajax_get_error = false;


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 (guid, el) {
        // Has element been passed as object or id-string?
        if (typeof(el) == 'string') {
		el = document.getElementById(el);
	}

	// Valid el?
	if (el == null) { return false; }
	
	// Create getfile URL
	getfile_url = base_url + 'exchange-callback.php?guid=' + escape(guid) + '&el=' + escape(el.id);
		// Do Ajax
	ajax_do (getfile_url);
	return true;
}