var links = document.links;
for (var i = 0; i < links; i++) {
if (links[i].href.match(/\.mid$/)

ここまで書いてめんどくさくなった…