function mail(name, domain, arguments)
{
	if ( arguments == null )
		parent.location	= "mail" + "to:" + name + "@" + domain;
	else
		parent.location	= "mail" + "to:" + name + "@" + domain + "?" + arguments;

}	// End mail()

function mailNode(name, domain, arguments)
{
	if ( arguments == null )
		document.write('<a href="' + 'mail' + 'to:' + name + '@' + domain + '">' + name + '@' + domain + '</a>');
	else
		document.write('<a href="' + 'mail' + 'to:' + name + '@' + domain + '?' + arguments + '">' + name + '@' + domain + '</a>');

}	// End mailNode()

function mailNameNode(nameDomain, arguments)
{
	if ( arguments == null )
		document.write('<a href="' + 'mail' + 'to:' + nameDomain + '">' + nameDomain + '</a>');
	else
		document.write('<a href="' + 'mail' + 'to:' + nameDomain + '?' + arguments + '">' + nameDomain + '</a>');

}	// End mailNameNode()

function mailTextNode(name, domain, text, arguments)
{
	if ( arguments == null )
		document.write('<a href="' + 'mail' + 'to:' + name + '@' + domain + '">' + text + '</a>');
	else
		document.write('<a href="' + 'mail' + 'to:' + name + '@' + domain + '?' + arguments + '">' + text + '</a>');

}	// End mailNode()