function external_links()
{
	if ( !document.getElementsByTagName ) 
		return ;
		
	var as = document.getElementsByTagName("a") ;
	var l = as.length ;
	
	for (var i = 0 ; i < l ; ++i ) {
		var a = as[i] ;
		if ( a.getAttribute("href") && a.getAttribute("rel") == "external" )
			a.target = "_blank" ;
	}
}

onload_[onload_.length] = "external_links" ;