// 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";
		}
	}
window.onload = externalLinks;