function Addr(name, domain, extension)
{
	return "mai"+"lto:"+name+"@"+domain+"."+extension
}

function show_c()
{
	document.location=Addr("info","LeafRaker","com");
}