var timer=null;
var hotNav = null;
//var x2 = null;
// 				   (event, this, id, top-position, left-position)
function dropdown(x, x1, x2, xtop, xleft){  // x2 ist die id die das entsprechende tooltip auszeichnet  x = event  und x1= this
//cancelHide();
kill1();
clearTimeout(timer);

var el = document.getElementById(x2);
el.style.top  = xtop + 'px';//263
el.style.left  = xleft + '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()', 250);
}