header('Location: '.$url);           #変更前