Codice PHP:
<?php
session_id
($id_sessione);
session_start();
?>