PHP4 でのセッションの適用 2_PHP チュートリアル

//ウェルカム ページ (welcome_reserve.php3)
//このページでは、ユーザーが正しくログインしているかどうかが最初に判断され、ログインしていない場合はログイン ページに移動します。
session_start();
if((!$user_id)or(!$user_array[ticket_day])or(!$user_array[ticket_num])){
Header("場所:login.php3");

南京駅チケット予約システムへようこそ