// JavaScript Document
function formAddr()
{
	var addr = ""; 
	for(var i=0; i<arguments.length; i++) 
		addr = addr + arguments[i];
	return addr;
}

function execMail(addr) 
{
	window.location = 'mailto: ' + addr;
}

function maskAddr(addr)
{
	var maddr = "";
	for(var i=0; i<addr.length; i++)
		maddr = maddr + "&#" + addr.charCodeAt(i) + ";";
	return maddr;
}

function writeAddr()
{
	var addr = ""; 
	for(var i=0; i<arguments.length; i++) 
		addr = addr + arguments[i];
	addr = addr.replace("[at]", "@");
	addr = maskAddr(addr);
	document.write('<A HREF="mailto:' + addr + '">' + addr + '</A>');
}

function ContactWebmaster(name,domain)
{
	var addr = name + "@" + domain;
	addr = maskAddr(addr);
	document.write('<A HREF="mailto:' + addr + '">webmaster</A>');
}

function DispEmailAddr(name,domain)
{
	var addr = name + "@" + domain;
	addr = maskAddr(addr);
	document.write('<A HREF="mailto:' + addr + '">' + addr + '</A>');
}