function contact(name)
{
    var domain = window.location.host;
    if (domain.substr(0, 4) == 'www.') {
        domain = domain.substr(4); // Remove name
    }
    var position = domain.lastIndexOf(':');
    if (position != -1) {
        domain = domain.substr(0, position); // Remove port
    }
    var mailto = [109, 97, 105, 108, 116, 111, 58];
    var address = '';
    for (var i = 0; i < mailto.length; ++i){
        address += String.fromCharCode(mailto[i]);
    }
    address += name + String.fromCharCode(8 * 8) + domain;
    window.location.replace(address);

    return false;
}

function feedback()
{
    return contact('feedback');
}

function helpdesk()
{
    return contact('helpdesk');
}

function abuse()
{
    return contact('abuse');
}