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

    X.innerHTML = Y.innerHTML;

    $hide = "welcome";
    if ($show == "welcome") $hide = "welcome";
    with (document.getElementById("title_" + $hide).style) {
      backgroundColor = "#DFDFDF";
      color = "black";
    }
    $hide = "informations";
    if ($show == "informations") $hide = "informations";
    with (document.getElementById("title_" + $hide).style) {
      backgroundColor = "#DFDFDF";
      color = "black";
    }
    $hide = "copyrights";
    if ($show == "copyrights") $hide = "copyrights";
    with (document.getElementById("title_" + $hide).style) {
      backgroundColor = "#DFDFDF";
      color = "black";
    }

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