// replace " at " with "@" in email addresses
function makeemail(obj)
{
	var s = obj.href;
	s = s.replace(/\s+at\s+/, "@");
	s = s.replace(/%20at%20/, "@");
	obj.href = s;
	return true;
}