11ヶ月のこどもが印鑑の朱肉のついた手を口に入れていた

30代/女性 - 2022/03/23

今朝10時ごろ、11ヶ月のこどもが朱肉のインクがついたブラシ（印鑑ケースのよこにある朱肉の汚れを取るもの）を手に取っていました。他の
引き出しの物を直すことに気を取られてすぐ手を洗わなかったのですが、その後服に赤い色がついていたため手にもついていたのだと思います。だいぶ後になり気付きました。
指しゃぶりがあるのでもしかしたらその手を口に入れてしまったかも知れず、インクが乾いて触った指に少しつくぐらいのインク量ですが自分が小さい子どもの頃からある朱肉ブラシなのでかなり古いインクも残っていると思います。ネットで調べたところ古い朱肉には水銀が含まれているものもあるというのを見たのですが、体に入ってしまった場合有害なのでしょうか。

気づいた時に手は洗いましたが、何か今からできることはありますでしょうか。
また、子どもの体調に今のところ変わりはありませんが受診した方がよいでしょうか。