function showTitle(theTitle)
{
  document.title += " - " + theTitle;
  which = document.getElementById("thetitlebar");
  which.innerHTML = theTitle.toUpperCase();
}