if (isset($_SESSION['persona']) | isset($_SESSION['empresa'])){ if (isset($_SESSION['persona'])) include ("menu.inc"); else include ("menuempresa.inc"); }else{ include("menuinvitado.inc");}