function displaycontact(teller)
{
document.write('<a href="mailto:' + modifyemail(mailaddr[teller]) + '">' + mailnaam[teller] + '</a>');
return true;
}
function displayemail(teller)
{
document.write('<a href="mailto:' + modifyemail(mailaddr[teller]) + '">' + modifyemail(mailaddr[teller]) + '</a>');
return true;
}
function modifyemail(emailitem) {
var modified =  emailitem.replace(/\[at]/gi, "@");
modified = modified.replace(/\[dot]/gi, ".");
return modified;
}
mailnaam=["Marketing", "Support", "Webmaster"]
mailaddr=["marketing[at]4st[dot]com", "support[at]4st[dot]com", "webmaster[at]4st[dot]com"]