//this function includes all necessary js files for the application
function include(file)
{

  var script  = document.createElement('script');
  script.src  = file;
  script.type = 'text/javascript';
  script.defer = false;

  document.getElementsByTagName('head').item(0).appendChild(script);
}

// This include doesn't work in Chrome ans Safari
include("http://ajax.googleapis.com/ajax/libs/jquery/1.3.2/jquery.min.js");

function get_hostname_from_url(url) {
    return url.match(/:\/\/(.[^/]+)/)[1];
}

function external_link() {
  // See the jQuery UI Tabs documentation for
  //  more information about how this works.
  $("a").click(function(event){
     var title = $(this).html().replace('\n', ' ');
     title = title.replace(/[ \t]+/g, ' ');
     
     // If the URL domain name is not the same, then use frames
     if(document.domain != get_hostname_from_url(this.href))
     {
         this.href = "/extlinks/external_page.php?url=" + this.href + "&title=" + title + "&refing_url=" + window.location.href;
         this.target = "_blank";
     }
  });
}