
	function updateLinks() {
		if (document.getElementsByTagName) {
			links_list = document.getElementsByTagName('a');
			for(i=0; i<links_list.length; i++) {
				if (0 == links_list[i].rel.indexOf('ext:')) {
					links_list[i].target = links_list[i].rel.substring(4, links_list[i].rel.length);
				}
			}
		}
	}
