var timer=null;
//var x2 = null;
function dropdown(x, x1, x2){  // x2 ist die id die das entsprechende tooltip auszeichnet  x = event  und x1= this
clearTimeout(timer);

var el = document.getElementById(x2);
el.style.top  = 0 + 'px';
el.style.left  = 20 + 'px';
el.style.visibility = "visible";
hotNav = x2;
}

function kill1(){
if(hotNav!=null){
var el = document.getElementById(hotNav);
el.style.visibility = "hidden";
el.style.top = -1000 + 'px';
hotNav=null;}
}

function kill() {
timer = setTimeout('kill1()', 300);
}