python3 -c 'import urllib.request; u="https://chiptune.app/catalog/MIDI%20Datasets/PiJAMA/Erroll%20Garner/Afternoon%20Of%20An%20Elf/All%20My%20Loves%20Are%20You.mid"; b=urllib.request.urlopen(u).read(); print(len(b),b[:14])'