session_start();
if (isset($_GET['idioma']))
{
if (($_GET['idioma']=="cas") or ($_GET['idioma']=="cat") or ($_GET['idioma']=="vas") or ($_GET['idioma']=="gal"))
{
$_SESSION['idioma']=$_GET['idioma'];
}
}
else
{
if ($_SESSION['idioma']=="")
{
$_SESSION['idioma']="cas";
}
}
?>