session_start(); if (!isset($_SESSION["idioma"])) { $_SESSION["idioma"] = "ESP"; } require_once("publicodigo.php"); ?>