とてつもなくしょうもない質問で申し訳ないのですが、学校のトイレなどでよく使われている(?)、柄が長くてブラシが緑のやつの名称を教えて下さい( ; ; )