function el_show(el) {
  if (el.style) {
    el.style.visibility = 'inherit';
  } else if (el.visibility) {
    el.visibility = 'inherit';
  }
}

function el_hide(el) {
  if (el.style) {
    el.style.visibility = 'hidden';
  } else if (el.visibility) {
    el.visibility = 'hide';
  }
}

function get_el(name) {
  if (document.getElementById) {
    return document.getElementById(name);
  } else if (document.all) {
    return document.all[name];
  }
}