demo_cookie4.php: