e dato che ci siamo, posto anche un codice per rendere la variabili $_SESSION compatibile con tutte le versione del php:
if(!isset($_SESSION)) $_SESSION=$HTTP_SESSION_VARS;