// <script language="javascript">


// switch the button image to the MouseOver image
function mi(Button) {
  document.getElementById(Button).src = '/images/NavBarGifs/' + Button + '2.gif';
}

// switch the button image to the regular image
function mo(Button) {
  document.getElementById(Button).src = '/images/NavBarGifs/' + Button + '1.gif';
}

//preload images that are activated when the mouse hovers over a link
function lo(OverImage) {
  WfImage = new Image();
  WfImage.src = '/images/NavBarGifs/' + OverImage + '2.gif';
}



// </script>


