function post(a) {
RE = /^(.+)\*(.+)$/;
var launch = a.replace(RE,"mailto:$1@$2");
window.location = launch;
}