<?
session_start();
if (!empty($_SESSION["utente"]) && !empty($_GET["tab"])) {
$_SESSION["activeTab"] = $_GET["tab"];
}
?>