function obfuscate_email(element, name, domain, tld)
{
	var mail	=	name + '@' + domain + '.' + tld;
	mail_link	=	'<a href="mailto:' + mail + '">' + mail + '</a>';
	document.getElementById(element).innerHTML	=	mail_link;
}

function hide_subnav_line()
{
	var no_subnav_line	=	$("subNav").getChildren()[0].id;
	if(no_subnav_line	==	'subNav_line') document.getElementById("subNav_line").style.borderTop = '0px none';
}