<!--
function writeaddress()
{
var address = "charlesdotscholtensatplanetdotnl";
address = address.replace(/at/g, "@");
address = address.replace(/hyphen/g, "-");
address = address.replace(/dot/g, ".");
document.write('<a href="mailto:'+address+'">mail</a>');
}
-->


