ところでtokiに入れるのはどのサーバの板にしようと話してたんだっけ?