function openUrl(url)
{
	window.location = url;
}

function makeMailTo(revtaddr, subj)
{
	var addr = "";
	for (i = revtaddr.length - 1; (i >= 0); i--)
	{
		c = revtaddr.charAt(i);
		if (c == "|") c = ".";
		if (c == "=") c = "@";
		addr += c;
	}
	return "mailto:" + addr + ((subj == "")? "" : ("?subject=" + encodeURIComponent(subj)));
}