// JScript-Datei

var part01 = "ma";
var part02 = "il";
var part03 = "t";
var part04 = "o:";

function erzeugeKont(part1a, part1b, part2, part3)
{
    document.location.href = part01 + part02 + part03 + part04 + part1b + part1a + "@" + part3 + part2;
}

function hover(idControl)
{
    var hover = idControl + "Hover";
    
    $get(idControl).style.display = "none";
    $get(hover).style.display = "inline";
}

function unhover(idControl)
{
    var hover = idControl + "Hover";
    
    document.getElementById(idControl).style.display = "inline";
    document.getElementById(hover).style.display = "none";
}