function getInfo(a)
	{
	a.href = a.href.replace(/;/g, ".");
	a.href = a.href.replace(/\$/, "@");
	}