A music player based on Android