Codice PHP:
<?
if (isset($_SESSION['user']) && isset($_SESSION['name']) && isset($_SESSION['passwd']) ){
    echo 
"Benvenuto sul sito &nbsp; <font color='red'>"$_SESSION['user']." </font>";
    echo 
$_SESSION['name'];
}
?>