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 = "#DFDFDF";
      color = "black";
    }
    hide = "license";
    if (show == "license") hide = "version";
    with (document.getElementById("button_" +hide).style) {
      backgroundColor = "#DFDFDF";
      color = "black";
    }
    hide = "version";
    if (show == "version") hide = "welcome";
    with (document.getElementById("button_" +hide).style) {
      backgroundColor = "#DFDFDF";
      color = "black";
    }
    with (document.getElementById("button_" +show).style) {
	  backgroundColor = "#EFEFEF";
      color = "black";      
    }
    return true;
}