//Dynamically load custom banner for each page
  //Declarations
  var $url;
  var $fileExt;
  var $file;
  var $a; //Array to split on '/'
  var $b; //Array to split in '.'

  //Initializations
  $url = document.URL;
  $a = $url.split('/');
  $fileExt = $a.pop();
  $b = $fileExt.split("\.");
  $file = $b[0];

  //Load banner
  document.getElementById('banner').innerHTML = '<img src="/assets/banners/'+$file+'.gif">';