var t_out;
var name_jetzt="";

function show(name)
{
    if(name_jetzt=="" || name_jetzt==name)
    {
        clearTimeout(t_out);
        window.document.getElementById(name).style.display="block"
        name_jetzt=name;
    }
    else
    {
        killsub(name);
        window.document.getElementById(name).style.display="block"
        name_jetzt=name;
    }
}

function timer(name)
{
    t_out=window.setTimeout("killsub(\""+name+"\")",170);
}

function killsub(name)
{
    window.document.getElementById(name).style.display="none"
}
