function ChangeATags() {
	aTags = document.getElementsByTagName("A");
	for (i=0; i<aTags.length; i++) {
		if (aTags[i].href.indexOf(".pdf") != -1) aTags[i].target="_blank";
	}
}