function hormel_out(a) {
	var s = '<a href="mailto:dirs@txyl.com">dirs@txyl.com</a>';
	for (var i=0; i<a.length; ++i)
		document.write(s.charAt(a.charCodeAt(i)-65));
}