$_SESSION["Opciones"]['UltimaActividadMS'] = time();
// Guardo el tiempo de la ultima actividad
// Controla el número de paginas visitadas en esta sesion
if (!isset($_SESSION["Opciones"]['PaginasVistas'])) {
    $_SESSION["Opciones"]['PaginasVistas'] = 1;
} else {
    $_SESSION["Opciones"]['PaginasVistas']++;
}
// Disposición de las opciones según si el servidor es local o de internet
if (strpos($_SERVER["SERVER_NAME"], "devildrey33.esy.es") !== false) {
    devildrey33_Opciones::$ServidorLocal = FALSE;
} else {
    if (strpos($_SERVER["SERVER_NAME"], "devildrey33.es") !== false) {
        devildrey33_Opciones::$ServidorLocal = FALSE;
    } else {
        devildrey33_Opciones::$ServidorLocal = TRUE;
    }
}
/* Esta clase contiene todas las variables que pueda necesitar de la variable $_SESSION de forma que si no estan definidas devuelve su valor por defecto sin necesidad de crearla en la cookie.
   En definitiva solo se reservara espacio para la cookie si la variable en concreto no tiene su valor por defecto.
   Por otra parte tambien controla los timeouts de ciertas variables que no deben ser guardadas durante mucho tiempo.           */
class devildrey33_Opciones
{
    // Variable que determina las opciones predeterminadas segun si es el servidor local o de internet
    public static $ServidorLocal = FALSE;
    /* Función interna utilizada por las funciones "pseudo variable por referencia" para asignar y obtener los valores */
    protected static function _ObtenerAsignarValor($Nombre, $ValorDefecto, $Valor)
    {
        /* Si el valor no es -1 es que se está asignando un valor */
        if ($Valor != -1) {
            $_SESSION["Opciones"][$Nombre] = $Valor;