/** global used functions **/

// Get an HTML object
function getObject( id ){
	 return obj = document.getElementById? 
		document.getElementById( id ) :
		document.all[ id ];
}

function mail_show( pre, dom, ext ){
	href =  "mailto: "+ pre +"@"+ dom +"."+ ext ;
	lnk = "<A href=\""+ act +": "+ href +"\">"+ href +"</A>";
	return lnk;
}

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

function body_onload() {
	externalLinks();
}

window.onload = body_onload;