/* 3DTechnics js lib */



/* return a mailto url when requested */
/* takes a sting in form of "name at domain dot tld*/
function do_mailto(mail_string) {
    var mailto_url    = ""
    var mailto_prefix = "mailto:";

    mail_string = mail_string.replace(/\s+dot\s+/gi, '.').replace(/\s+at\s+/gi, '@').replace(/\s+/g, '');
 
    mailto_url    = mailto_prefix + mail_string;
    location.href = mailto_url;  
}