// This function modifies the external links (those with the rel="external" attribute) so they open in a new window.
function loadExternalUrl(){
	if( !document.getElementsByTagName ){
        return;
    }
    
	var links=document.getElementsByTagName( 'a' );
	for( var i=0; i<links.length; i++ ){
		if( links[i].rel=="external" ){
			links[i].target="_blank";
		}
	}
}

function writeEMailLink( nom, dom, text ){
	document.write( '<a hr'+'ef="mai'+'lto:'+nom+'@'+dom+'">'+( text ? text : nom+'@'+dom )+'</a>' );		
}