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 = "#F5EEE5";
      color = "black";
    }
    $hide = "license";
    if ($show == "license") $hide = "version";
    with (document.getElementById("button_" + $hide).style) {
      backgroundColor = "#F5EEE5";
      color = "black";
    }
    $hide = "version";
    if ($show == "version") $hide = "hosting";
    with (document.getElementById("button_" + $hide).style) {
      backgroundColor = "#F5EEE5";
      color = "black";
    }
    $hide = "hosting";
    if ($show == "hosting") $hide = "demo";
    with (document.getElementById("button_" + $hide).style) {
      backgroundColor = "#F5EEE5";
      color = "black";
    }
    $hide = "demo";
    if ($show == "demo") $hide = "mfusion";
    with (document.getElementById("button_" + $hide).style) {
      backgroundColor = "#F5EEE5";
      color = "black";
    }
    $hide = "mfusion";
    if ($show == "mfusion") $hide = "mfusion";
    with (document.getElementById("button_" + $hide).style) {
      backgroundColor = "#F5EEE5";
      color = "black";
    }



    with (document.getElementById("button_" + $show).style) {
	  backgroundColor = "#DCC4A5";
      color = "black";      
    }
    return true;
}