added function to get music filename by music ID