function addToFavorites(title, url)
{
  if (document.all)
  {
    window.external.AddFavorite(url, title);
  }
  else if (window.sidebar)
  {
    window.sidebar.addPanel(title, url, "")
  }
}

function showButtonDescription(description, descriptionPane)
{
  document.getElementById(descriptionPane).innerHTML = "" + description;
}

function cleanButtonDescription(descriptionPane)
{
  document.getElementById(descriptionPane).innerHTML = "";
}