// Hide email addresses from spam bots

function mail(a, b) {
    window.location.href='mailto:'+a+'@'+b;
}