// Do we use DOM or not?
var dom = (document.getElementById && !document.all)? 1: 0;

function show_hide(the_id)
{
  var obj = (dom)? document.getElementById(the_id): document.all[the_id];

  if(obj.style.visibility == "hidden"){ // show
      obj.style.visibility = "visible";
      obj.style.display = "";
  }
  else { // hide
      obj.style.visibility = "hidden";
      obj.style.display = "none";
  }
}