int session_counter;
Internally counter used to count the sessions and to build the unique session id
(Last Updated August 27, 2006)