Ver originalsession_start();$_SESSION['nombre']=$nombre;
Ver originalecho "Bienvenido ".$_SESSION['nombre'];