02.mpeg is better than 02b.mpeg, but the high quality version was lost.