window.onload=function(){
if(!document.getElementById || !document.getElementsByTagName) return;
links=document.getElementById(“article-thumbs”).getElementsByTagName(“a”);
for(i=0;i