  function Menu_MouseOver(DocID) {
    var ImageName;
    switch (DocID) {
      case 'i1':
        ImageName = 'Nav_Home_MouseOver.png';
        break;
      case 'i2':
        ImageName = 'Nav_Contact_MouseOver.png';
        break;
      case 'i3':
        ImageName = 'Nav_Travel_MouseOver.png';
        break;
      case 'i4':
        ImageName = 'Nav_Shop_MouseOver.png';
        break;
      case 'i5':
        ImageName = 'Nav_Info_MouseOver.png';
        break;
      case 'i6':
        ImageName = 'Nav_About_MouseOver.png';
        break;
    }
    document.images[DocID].src = 'Images/' + ImageName;
  }
/**************************************************************************************************/
  function Menu_MouseOut(DocID, FileName) {
    var ImageName;
    switch (DocID) {
      case 'i1':
        ImageName = Menu_ImageName(FileName, 'index.html', 'Nav_Home_Active.png', 'Nav_Home_Inactive.png');
        break;
      case 'i2':
        ImageName = Menu_ImageName(FileName, 'Contact.html', 'Nav_Contact_Active.png', 'Nav_Contact_Inactive.png');
        break;
      case 'i3':
        ImageName = Menu_ImageName(FileName, 'Travel.html', 'Nav_Travel_Active.png', 'Nav_Travel_Inactive.png');
        break;
      case 'i4':
        ImageName = Menu_ImageName(FileName, 'Shop.html', 'Nav_Shop_Active.png', 'Nav_Shop_Inactive.png');
        break;
      case 'i5':
        ImageName = Menu_ImageName(FileName, 'Info.html', 'Nav_Info_Active.png', 'Nav_Info_Inactive.png');
        break;
      case 'i6':
        ImageName = Menu_ImageName(FileName, 'About.html', 'Nav_About_Active.png', 'Nav_About_Inactive.png');
        break;
    }
    document.images[DocID].src = 'Images/' + ImageName;
  }
/**************************************************************************************************/
  function Menu_ImageName(FileName, TargetName, ActiveImage, InactiveImage) {
    var ImageName;
    if (FileName.indexOf(TargetName) == -1) {
      ImageName = InactiveImage;
    } else {
      ImageName = ActiveImage;
    }
    return ImageName;
  }
/**************************************************************************************************/
  function Menu_SetActive() {
    Menu_MouseOut('i1', window.location.href);
    Menu_MouseOut('i2', window.location.href);
    Menu_MouseOut('i3', window.location.href);
    Menu_MouseOut('i4', window.location.href);
    Menu_MouseOut('i5', window.location.href);
    Menu_MouseOut('i6', window.location.href);
  }
/**************************************************************************************************/
/**************************************************************************************************/
