function OverStyle(c)
{
	c.style.backgroundColor='#3B80AE';
	c.style.color='#FFFFFF';
	var children = c.childNodes;
	for (var i = 0; i < children.length; i++){try{OverStyle(children[i]);}catch (e){}}
}	
function OutStyle(c)
{
	c.style.backgroundColor='#FFFFFF';
	c.style.color='#000000';
	var children = c.childNodes;
	for (var i = 0; i < children.length; i++){try{OutStyle(children[i]);}catch (e){}}
}

function write_email(username, hostname, linktext)
{
	if(linktext == undefined) linktext = username + '@' + hostname;
	document.write('<a href=' + 'mail' + 'to:' + username + '@' + hostname + '>' + linktext + '</a>');
}