demo_session4.php: