// JavaScript Document
function ajax_get (url, el) {
       
 base_url='http://'+document.domain+'/modulos/mod_cursosgen/pub/';
		
	// Has element been passed as object or id-string?
	if (typeof(el) == 'string') { el = document.getElementById(el); } 

	// Valid el?
	if (el == null) { return false; }

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

   // Create getfile URL
	getfile_url = base_url + 'getfile.php?url=' + escape(url) + '&el=' + escape(el.id);
	// Do Ajax
	ajax_do (getfile_url);

	return true;
}
function ajax_do (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);

	return true;
}