function $(e){
	return document.getElementById(e)
}
function init(){
	if(document.getElementsByTagName){
		var anchors=document.getElementsByTagName("a")
		for(var i=0;i<anchors.length;i++)
		{
			var x=anchors[i].getAttribute("rel")
			if((x=="external")||(x=="external nofollow"))
				anchors[i].target="_blank"
		}
	}
}
window.onload=init