javascript:function openInNewTab(url) {var win = window.open(url, '_blank'); win.focus();} var s=location.href; var i = s.search(/[0-9]{4,}(\.\d+)/); var x=s.substr(i); var  z='http://fermatslibrary.com/arxiv_comments?url=http://arxiv.org/pdf/'; (s.substr(-4).toLowerCase()!='.pdf') ? z+=x+'.pdf' : z+=x; (i>0) ? openInNewTab(z) : void(0);