function reverse()
{
  var i;
  var t;
  var anchors = document.getElementsByTagName("a");
  for (i = 0; i < anchors.length; i++)
    if (anchors(i).innerHTML != "" && anchors(i).title != "")
    {
      t = anchors(i).title;
      anchors(i).title = anchors(i).innerHTML;
      anchors(i).innerHTML = t;
    }
}

function showboth()
{
  var i;
  var t;
  var anchors = document.getElementsByTagName("a");
  for (i = 0; i < anchors.length; i++)
    if (anchors(i).innerHTML != "" && anchors(i).title != "")
    {
      anchors(i).innerHTML = anchors(i).title + " (" + anchors(i).innerHTML + ")";
    }
}