function showObj(o, vis)

{       if(o.style.display=="none"){vis=true;} else {vis=false;}
	o.style.visibility = (vis?"visible":"hidden");
	o.style.display  = (vis?"":"none");
}

function showText(divID, text)
{
	var obj = document.getElementById(divID);
	if (obj) showObj (obj, true);
	lastShownID=divID;
}

function hideDiv()
{
  req = null;
  showProgressBar = false;
  var elDiv = document.getElementById('aboutDiv');
  if(elDiv!=null){
  elDiv.style.visibility = 'hidden';
  document.body.removeChild(elDiv); }
}