function demunge(bar) {
    baz = bar.replace(/&[0-9]*?#/g, "&#");
    baz = baz.replace(/;[0-9]*?&/g, ";&");
    document.write(
				String.fromCharCode(60,97,32,104,114,101,102,61,109,97,105,108,116,111,58)
						+ baz + ">" + baz //optionnaly replace "[mail]" by baz
						+ String.fromCharCode(60,47,97,62));
  }