/////////////////////////////////////////////////////////////////////

function showDiv(div_id)
{
  var div = document.getElementById(div_id);
  div.style.visibility = 'visible';
}

/////////////////////////////////////////////////////////////////////

function hideDiv(div_id)
{
  var div = document.getElementById(div_id);
  div.style.visibility = 'hidden';
}

/////////////////////////////////////////////////////////////////////