server5の名前を変更します。