dat.の拡張子のついたファイルをmp3.に変更するには
どうしたらよいのでしょうか?