In order to download and use one of these MIDI files,
Click with the right mouse button to open the save window.
click on your choice. While the selection you want is
playing, place the curser over the "Player" graphic.
Click on the "Save As" button.
Then delete the "untitled" .mid and type in
the title you want to give the MIDI file and
click on save.
