<!--
// JavaScript Document - Launch rel='external' links in a new window.
function externalLinks() {
	if (!document.getElementsByTagName("a")) return;
	var anchors = document.getElementsByTagName("a");
	
	for (var curAnchor = 0; curAnchor < anchors.length; curAnchor++) {
		var anchor = anchors[curAnchor];
		if (anchor.getAttribute("href") && anchor.getAttribute("rel") == "external") {
			anchor.target = "_blank";
		}
	}
}
window.onload = externalLinks;
//-->