session1.php file logout.php file