0)) { $_SESSION['documenttoopen']= "cardmanager.php"; // header("Location: login.php" ); } ?>