[初期設定/カウンター]キーを押します。
[システム初期設定]を押します。
[管理者用設定]を押し、[次へ]を3回押します。
[レルム登録/変更/消去]を押します。
[登録/変更]が選択されていることを確認します。
設定内容を変更したいレルム名を押します。
レルム名を変更するときは、「レルム名」の[変更]を押します。
[後退]または[全消去]を押して、レルム名を入力し直します。
[OK]を押します。
KDC サーバー名を変更するときは、「KDC サーバー名」の[変更]を押します。
[後退]または[全消去]を押して、KDC サーバー名を入力し直します。
[OK]を押します。
ドメイン名を変更するときは、「ドメイン名」の[変更]を押します。
[後退]または[全消去]を押して、ドメイン名を入力し直します。
[OK]を押します。
[設定]を押します。
[閉じる]を押します。
[初期設定/カウンター]キーを押します。