<!--
    url           = document.location.href;
    xend          = url.lastIndexOf("/") + 1;
    var base_url  = url.substring( 0, xend );

    function ajax( url ) {
      if ( url.substring(0, 4) != 'http' )
        url       = base_url + url;
      var jsElem  = document.createElement('SCRIPT');
      jsElem.type = 'text/javascript';
      jsElem.src  = url;
      document.body.appendChild( jsElem );
    }
-->