function run()
{
    $htmlData["Cuenta"] = "";
    if (isset($_SESSION["userName"])) {
        $htmlData["Cuenta"] = $_SESSION["userName"];
    }
    $htmlData["servidores"] = registros();
    renderizar("mostrar", $htmlData);
}
function run()
{
    $datosARenderizar = array();
    $datosARenderizar["servidores"] = registros();
    renderizar("mostrar", $datosARenderizar);
}