if (! isset($_SESSION[page1_data])) { header(Location:Page1.php); exit; } ...
....
...