server7の名前を変更します。