function ExternalLinks() {
	if (!document.getElementsByTagName) return;
	var Anchors = document.getElementsByTagName("a");
	for (var i = 0; i < Anchors.length; i++) {
		var Anchor = Anchors[i];
		if (Anchor.getAttribute("href") && Anchor.getAttribute("rel") == "external") {
			Anchor.setAttribute("target", "_blank");
		}
	}
}