coq:rio hanai