function MM_preloadImages() { //v3.0
  var d=document; if(d.images){ if(!d.MM_p) d.MM_p=new Array();
    var i,j=d.MM_p.length,a=MM_preloadImages.arguments; for(i=0; i<a.length; i++)
    if (a[i].indexOf("#")!=0){ d.MM_p[j]=new Image; d.MM_p[j++].src=a[i];}}
}
function MLD_swapInfo(altimg, alttxt) {
  // Parameters: altimage, alttext

  // Based loosely on MM_swapImage()
  // Used for the menu at the bottom of the page
  // 2006-08-08
  var txtarea = document.getElementById('describe');
  var imgarea = document.getElementById('changer');
  txtarea.value=alttxt;
  imgarea.src=altimg;
}

function MLD_swapRestore() {
  // Based loosely on MM_swapRestore()
  var txtarea = document.getElementById('describe');
  var imgarea = document.getElementById('changer');
  txtarea.value=''
  imgarea.src='square_120.gif';

}

function MLD_highlight(currentsection,currentpage) {
  // Changes the navbar and sometimes the bottom bar colours to indicate the person is viewing certain page.
  /*
  Method to this madness:
  We want to maintain boilerplate navbars and footers, yet colour the ones pertaining to
  the page a person happens to be on. This seemed like the best way to do it.
  */

  // We only want to care if the variable is actually set
  if (currentsection !='') {
    var youarehere1 = document.getElementById(currentsection);
    youarehere1.style.background = '#002BAD';
  }

  // Again, we only care if the variable is set
  if (currentsection !='') {
    var youarehere2 = document.getElementById(currentpage);
    youarehere2.style.color = '#002BAD';
  }
}