Problem with session vars

my code is smth like this:
<?php
session_start();

$HTTP_SESSION_VARS[‘user’]=$user;
header(‘location: page.php’);

?>

the problem is that $HTTP_SESSION_VARS[‘user’] is unset in page.php. I used session_start(); in page.php.