// 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);
		
	 	return true;
	}
	
	function ajax_get (url, 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; }
		
		 // 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;
	}