// JavaScript Document

function file_on() {
document.getElementById("contactfile").style.display = '';
}

function file_off() {
document.getElementById("contactfile").style.display = 'none';
}

function switchImage(imgName, imgSrc) 
{
  if (document.images)
  {
    if (imgSrc != "none")
    {
      document.images[imgName].src = imgSrc;
    }
  }
}