function send_to(n) {

    n = n.replace(/\^/, '@'); 
    n = n.replace(/\~/, 'mailto:');
    n = n.replace(/\`/, '.');
    n = n.replace(/\!/, 'http://');
    n = n.replace(/\++/, '.php');
    document.location.href=n; 
}