function fixLinks() {
	var links=document.getElementsByTagName("a");
	for(var i=0; i<links.length; i++) {
		//file extension
		var ext = links[i].href.substr(links[i].href.length-4).toLowerCase();
		if (ext == ".pdf") {
			links[i].target="_blank";
		}
	}
}