var links,link;links=document.getElementsByTagName('a');if(!links.length){return;}
for(var i=0;i<links.length;i++){link=links[i];var href=link.getAttribute('href');if(!href){continue;}
else{if(href.search(/http:\/\/(?:\w+\.)*twitter\.com/i)==0)
link.setAttribute('href',href.replace(/^http:/i,'https:'));}}