/*******************/
/* emailaddr.js    */
/* streeck.com     */
/*******************/
/* copyright       */
/* www.streeck.com */
/*******************/
/* Ver 1.0.0       */
/*    200312101500 */
/*******************/

oldaddr = document.getElementById("emailaddr").href;
oldaddr = oldaddr.substr(7, oldaddr.length-7);

newaddr = oldaddr.replace(/~at~/, '@');
newaddr = newaddr.replace(/~dot~/, '.');

document.getElementById("emailaddr").href = "mailto:" + newaddr;
document.getElementById("emailaddr").firstChild.nodeValue = newaddr;