il session_start() presumo ci sia prima di leggere $_SESSION...