// JavaScript Document
function external_links() {
	if (document.getElementsByTagName) {
		anchors = document.getElementsByTagName("a");
		for (i=0; i<anchors.length; i++) {
			anchor = anchors[i];
			if ((anchor.getAttribute("href")) && (anchor.className=="out")){
				anchor.target = "_blank";
				anchor.title = anchor.title + " (in a new window)";
			}
		} 
	}
}