var GUI_obj;

function _switch_obj(name)
{
  if (GUI_obj = document.getElementById(name))
    GUI_obj.style.display = GUI_obj.style.display != 'none' ? 'none' : 'block';
}

function _show_obj(name)
{
  if (GUI_obj = document.getElementById(name))
    GUI_obj.style.display = 'block';
}

function _hide_obj(name)
{
  if (GUI_obj = document.getElementById(name))
    GUI_obj.style.display = 'none';
}