if ($usuario=="miguel" && $contraseña=="dongato"){
if ($_SESSION["usuario"]=="miguel" && $_SESSION["contrasena"]=="dongato"){