File:Hotel Mario Credits music (Mario's theme)