function showaddr (text, addr)
{
	var contact = "mai" + "lto:";
	var domn = "@gm" + "a" + "il." + "com";
	document.write("<a href=" + contact + addr + domn + ">" + text + "</a>");
	}
