function SetBoxText($show) {
    var X = document.getElementById("box_text");
    var Y = document.getElementById("layer_" + $show);

    X.innerHTML = Y.innerHTML;

    $hide = "welcome";
    if ($show == "welcome") $hide = "license";
    with (document.getElementById("button_" + $hide).style) {
      backgroundColor = "#397196";
      color = "#fff";fontWeight = "normal";
    }
    $hide = "license";
    if ($show == "license") $hide = "version";
    with (document.getElementById("button_" + $hide).style) {
      backgroundColor = "#397196";
      color = "#fff";fontWeight = "normal";
    }
    $hide = "version";
    if ($show == "version") $hide = "welcome";
    with (document.getElementById("button_" + $hide).style) {
      backgroundColor = "#397196";
      color = "#fff";fontWeight = "normal";
    }
    $hide = "moderators";
    if ($show == "moderators") $hide = "version";
    with (document.getElementById("button_" + $hide).style) {
      backgroundColor = "#397196";
      color = "#fff";fontWeight = "normal";
    }

    with (document.getElementById("button_" + $show).style) {
	  backgroundColor = "#FFF";
      color = "#397196";
      fontWeight = "bold";      
    }
    return true;
  }