var pos = -23;
var timer = 0;
var step = 1;
var interval = 10;
function showmenu() {
	clearTimeout(timer);
	document.getElementById('menu_tools_sub').style.display = "block";
	moveout();
}
function hidemenu() {
	clearTimeout(timer);
	movein();
}
function moveout(){
	if (pos >= -3){
		pos = 0;
		document.getElementById('menu_tools_sub').style.top = pos + "px";
		clearTimeout(timer);
	}else{
		pos = pos + step;
		document.getElementById('menu_tools_sub').style.top = pos+"px";
		timer = setTimeout("moveout()" , interval);
	}// einde if
}
function movein(){
	if (pos <= -21){
		pos = -23;
		document.getElementById('menu_tools_sub').style.top = pos + "px";
		document.getElementById('menu_tools_sub').style.display = "none";
		clearTimeout(timer);
	}else{
		pos = pos -step;
		document.getElementById('menu_tools_sub').style.top = pos+"px";
		timer = setTimeout("movein()", interval);
	} // einde if
}