// Script used for refreshing page after form pagination
  
 	function refreshpage(URL, form)
  {
    var pagenum = form.Pg.options[form.Pg.selectedIndex].value;
    self.location = URL+"&page="+pagenum;
  }
  
// Script used to facilitate external links opening in a new window
  
  function externalLinks()
  {
    if (!document.getElementsByTagName)
    {
      return;
    }
    var anchors = document.getElementsByTagName("a");
    for (var i=0; i<anchors.length; i++)
    {
      var anchor = anchors[i];
      if (anchor.getAttribute("href") && anchor.getAttribute("rel") == "external")
      {
        anchor.target = "_blank";
      }
    }
  }
  window.onload = externalLinks;