我用RealAudio做mp3播放器的时候，如何得到mp3文件的时间长度。