// JavaScript Document

// Get base url
var 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;
        }
		
		//Fill our box with our content
		if (document.getElementById('box'))
			document.getElementById('box').innerHTML = "<img src='images/loading.gif'>";
			
		if (document.getElementById('searchResults'))
			document.getElementById('searchResults').innerHTML = "<img src='images/loading.gif'>";
		
		
		
		
        // 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);
}