var external_links = {
	check : function() {
		var a = document.getElementsByTagName('a');
		for ( var i=0; i<a.length; i++ ) {
			if (a[i].rel == 'external') {
				a[i].setAttribute('target', '_blank');
				a[i].title += ' - [ external link ]';
			}
		}
	}
}