// Mailto Rob Veenendaal
// Insert this in header section with correct path
// <script src="../../index_files/robmailto.js" type="text/javascript"></script>

window.onload = function(){var mailLink = document.createElement("a");
var username0 = "disks";
var hostname1 = "panzer";
var hostname2 = "basics.com";
var addr = username0 + "@" + hostname1 + hostname2;
mailLink.setAttribute("href", "mailto:" + addr);
mailLink.appendChild(document.createTextNode(addr));
var robmail = document.getElementById("robmail");
robmail.replaceChild(mailLink, robmail.childNodes[0]); };

// Insert this part in the body
// <span id="robmail">rob (at) panzer (remove this and join) basics (dot) com.</span>