// Get base url

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;

        }



        // 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);

}



function ajax1_do(u,id)

{

if (window.XMLHttpRequest)

  {// code for IE7+, Firefox, Chrome, Opera, Safari

  xmlhttp=new XMLHttpRequest();

  }

else

  {// code for IE6, IE5

  xmlhttp=new ActiveXObject("Microsoft.XMLHTTP");

  }

xmlhttp.onreadystatechange=function()

  {

  if (xmlhttp.readyState==4 && xmlhttp.status==200)

    {

    document.getElementById(id).innerHTML=xmlhttp.responseText;

    }

  }

xmlhttp.open("GET",u,true);

xmlhttp.send();

}