/* give anchors with attribute rel="external" a target attribute of "_blank" */

function SetExternalLinks() 
{
	if (document.getElementsByTagName) 
	{
		var a = document.getElementsByTagName('a');
		for (var n=0; n < a.length; n++) 
		{			
			if (a[n].hasAttributes() && a[n].getAttribute('rel') == 'external')	a[n].target = '_blank';
		}
	}
}