A music player for the Android operating system