0){ $myrow = mysqli_fetch_array($result); $portada=$myrow["portada"]; } if ($movil==1) header("Location: portada.$portada.php"); else echo " "; ?>