<!--
// 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="block";
 }
 else { // hide
     obj.style.visibility = "hidden";
	 obj.style.display="none";
 }
}
function h(the_id2)
{
  var obj = (dom)? document.getElementById(the_id2): document.all[the_id2];

     obj.style.visibility = "hidden";
	 obj.style.display="none";

}
function s(the_id2)
{
  var obj = (dom)? document.getElementById(the_id2): document.all[the_id2];

     obj.style.visibility = "visible";
	 obj.style.display="block";

}
function hi(the_id2)
{
  var obj = (dom)? document.getElementById(the_id2): document.all[the_id2];

     obj.style.visibility = "hidden";
	 obj.style.display="none";

}
function si(the_id2)
{
  var obj = (dom)? document.getElementById(the_id2): document.all[the_id2];

     obj.style.visibility = "visible";
	 obj.style.display="inline";

}
-->