蛇口破損

夕方オフィスの二階で一人作業しているとなにかゴーゴー音がする。音の発生源を探してみたらトイレのバケツ用の蛇口が取れて水が吹き出していた。
蛇口をねじ込もうとしたけどネジ穴がない。管が折れてるみたい。
どうしようもないので屋上の元栓を閉めた。

ビムさんがちょうど帰ってきたので対処をお願いした。ジバン先生が何か処置してる。あとで見たら穴に木片で栓をしただけだった。また元栓開けたら飛び出すかも。