// give anchors with attribute rel="ext" a target attribute of "w1"
function externalLinks(){
	if(!document.getElementsByTagName){return;}
	var a=document.getElementsByTagName("a");
	for(var i=0;i<a.length;++i){if(a[i].getAttribute("href")&&a[i].getAttribute("rel")=="ext"){a[i].target="w1";}}
}