var url = document.URL;
var xend = url.lastIndexOf('/') + 1;
var base_url = url.substring(0,xend);

function do_ajax(url)
{
	var jsel = document.createElement('SCRIPT')
	jsel.type = 'text/javascript';
	jsel.src = url;
	document.body.appendChild(jsel);
}