a = document.getElementsByTagName("a");
out = "";
for (var i=0;i<a.length;i++) {
  if (a[i].hasAttribute("data-stream-url")) {
    out = out + " '" + a[i].getAttribute("data-stream-url") + "'"
  }
};
prompt("urls:", out)
//then use that with something like wget. you'll get a bunch of long filenames. use the below script to fix the filenames