header("token"); } if (!$token) { $token = input("token"); } return $token; } }