var t_out;
var name_jetzt="";

function show(name)
{
    if(name_jetzt=="" || name_jetzt==name)
    {
        clearTimeout(t_out);
        if(window.document.getElementById(name))
        {
            window.document.getElementById(name).style.display="block"
            name_jetzt=name;
        }
    }
    else
    {
        killsub(name);
        if(window.document.getElementById(name))
        {
            window.document.getElementById(name).style.display="block"
            name_jetzt=name;
        }
    }
}

function timer(name)
{
    t_out=window.setTimeout("killsub(\""+name+"\")",270);
}

function killsub(name)
{
    if(window.document.getElementById(name))
    {
        window.document.getElementById(name).style.display="none"
    }
}