トイレのタンクに水がたまらない、という事態に陥っていたが、直った。これで、もとのように手を洗うところに水が流れるようになり、タンクに水がたまるようになった。よって元通り、用を足したあとの水も流れるように。

　トイレ工事をしてくださった方に、「何がおかしかったんですか」と聞くと、「ダイヤフラム（電車の時刻表というか
、複数の電車の発着時間が細かく組み合わされたダイヤグラムとは違う）」という部品を交換することで修理完了。ちなみに、ダイヤフラムはトイレ工事の業者さんでなく、TOTOメンテナンスという会社のかたが持参されたようだった。

　ダイヤフラムはインターネットでも購入することができ、検索してみたところ、交換の手順が動画で紹介されていた。この動画を見ると、知識があれば、自分で修理できたかもしれない、と思える。でも、ダイヤフラムなんて知らなかったものなぁ。