テキストのあちこちに散らばっている全角数字
12345
を半角数字
12345
に変換するいい方法はありますか?