if ($_SERVER["HTTPS"]<>"on")
{
$xredir="https://".$_SERVER["SERVER_NAME"]. $_SERVER["REQUEST_URI"];
header("Location: ".$xredir);
}
if($_SERVER['HTTP_HOST']<>'www.php333.com'){
//$xredir="https://".$_SERVER["SERVER_NAME"]. $_SERVER["REQUEST_URI"];
$xredir="https://www.php333.com";
header("Location: ".$xredir);
}