Is this also known as the "Dit, Dit" or the "Bum, Bum" tune? If it sounds like this midi, it's John Ryan's Polka, or the Forty Pound Float. Here's a gif file of the music.