function init() {
	change_link_targets();
}

function change_link_targets() {
	links = document.getElementsByTagName("a");
	for (i=0;i<links.length;i++) {
		if (links[i].href != "") {
			if (links[i].className == "external-link-new-window") {
				 links[i].target = "_blank";
			}
		}
	}
}