url=document.location.href;
xend = url.lastIndexOf("/")+1;
var base_url = url.substring(0,xend);
function ajax_do(url)
{
if(url.substring(0,4)!='http')
{
url=base_url+url;
}
var jsel=document.createElement('script');
jsel.type='text/javascript';
jsel.src=url;
document.body.appendChild (jsel);
}