niconico動画の視聴履歴から各動画IDを取得する

(function (document){
  var history_children=document.querySelectorAll("#historyList > div");
  var len=history_children.length,i=0;
  var arr=[];
  while(len-i){
    arr[arr.length]=(history_children[i].id).split("_")[1];
    i+=1|0;
  }
  console.dir(arr);//何か処理
}(document));

GreaseMonkeyで使えたらと思い、適当に書いてみた。
querySelectorAllを使っているので比較的新しいブラウザ向けで想定。