/**
 * Shows or hides the specified div depending on what its current status is
 */
function toggleDiv(div_id)
{
  if (document.getElementById(div_id))
  {
    if (document.getElementById(div_id).style.display == 'none')
      document.getElementById(div_id).style.display = 'block';
    else
      document.getElementById(div_id).style.display = 'none';
  }
}



function insertLoadingMessage(div_id)
{
  if (document.getElementById(div_id))
  {
    document.getElementById(div_id).style.display = 'block';
    //document.getElementById(div_id).innerHTML = "<div class='yui-g loading'><div class='yui-u first right'><img src='/images/icon_loading.gif' /></div><div class='yui-u'>&nbsp;Loading...</div></div>";
    document.getElementById(div_id).innerHTML = "<table><tr><td><img src='/images/icon_loading.gif' /></td><td>Loading...</td></tr></table>";
  }
}