/* give anchors with attribute rel="external" a target attribute of "_blank" */

var oldOnload = window.onload;

function external2() {
 if (document.getElementsByTagName) {
  var i, a;
  a = document.getElementsByTagName('a');
  for(var i=0;i<a.length;i++){
   if (a[i].getAttribute('href') && 
       a[i].getAttribute('rel') == 'external') a[i].target = '_blank';
	   
  }
 }
 if(!(oldOnload === undefined)) {
	if(!(oldOnload === null)) {
		oldOnload();
	}
 }
}

window.onload = external2;


