top.mid.document.writeln(""); historygo(); } // -->

These MIDI-files came from MIDI File central.