if (!isset($seccion)) $seccion = "info"; else if ($seccion != "info" && $seccion != "datos" && $seccion != "obras") $seccion = "info"; ?>