python3 -c 'import urllib.request; u="https://gifx.co/music/MIDI%20Datasets/PiJAMA/Erroll%20Garner/Afternoon%20Of%20An%20Elf/All%20My%20Loves%20Are%20You.mid"; r=urllib.request.Request(u,headers={"User-Agent":"Mozilla/5.0"}); b=urllib.request.urlopen(r).read(); print(len(b),b[:14])'