server4の名前を変更します。