codice:
$_SESSION = array();