demo_session1.php: