function SwitchDivs(div)
          {
            if (div == "gao")
            {
              hide('hud');
              document.getElementById('GAOLink').innerHTML = "GAO";
              document.getElementById('HUDLink').innerHTML = "<a href=" + '"javascript:SwitchDivs(' + "'hud')" + '">HUD</a>';
              show('gao');
            }
            else
            {
              hide('gao');
              document.getElementById('GAOLink').innerHTML = "<a href=" + '"javascript:SwitchDivs(' + "'gao')" + '">GAO</a>';
              document.getElementById('HUDLink').innerHTML = "HUD";
              show('hud');
            }
          }