File:Doctor Mario with lyrics