<?php
	ini_set('session.gc_maxlifetime', 7200);
	session_start();
	if (!isset($_SESSION['created'])) {
		session_regenerate_id();
		$_SESSION['created'] = TRUE;
	}
	if (!isset($_SESSION['user_agent'])) {
		$_SESSION['user_agent'] = md5($_SERVER['HTTP_USER_AGENT'] . 'Memorandum')...