function externalLinks() {
	if (!document.getElementsByTagName) return;
	var a = document.getElementsByTagName("a");
	for (var i = 0; i < a.length; i++) {
		var b = a[i];
		if (b.getAttribute("href") && (b.getAttribute("rel") == "external" || b.getAttribute("rel") == "external nofollow" || b.getAttribute("rel") == "nofollow external")) b.target = "_blank"
	}
}