function SelectTab (TabName)
{
  document.getElementById("tab-" + TabName).className = "tab-selected";
}