File:Mario the music box theme