$value) echo "$var = $value
"; include("../common/header.php"); ?>
". $msgstr["maintenance"]. ": " . $arrHttp["base"]."
"; if (isset($arrHttp["encabezado"])){ echo ""; echo "\"\" ". $msgstr["back"].""; } echo "
 
"; ?>
/menu_mantenimiento.html target=_blank>    ".$msgstr["edhlp"].""; echo "    Script: menu_mantenimiento.php"; ?>
>
"?>