session_start(); include ("mysql.php"); if(isset($_GET['Idi'])){$_SESSION['Idi2']=$_GET['Idi']; $Idi=$_GET['Idi'];}else{$Idi=$_SESSION['Idi2'];} $Idi=$Idi*1; if (!$Idi)$Idi=1; $Fichero_idioma="idiomas/".$Dim2[$Idi].".php"; include("$Fichero_idioma"); ?>