var menu1;
var menu2;
var pointer1 = 227;
var pointer2 = 227;
var TOP = 75;
var BOTTOM = 227;
var STEP = 4;
var INTERVAL = 1;
var COLOR_OVER = "#B5E5EE";
var COLOR_OUT = "white";

function showMenu1 () {
    if (pointer1 >= TOP) {
		clearTimeout (menu1);
    	menu1 = setTimeout ("show1 ()", INTERVAL);                        
    }	
}

function show1 () {
    pointer1 -= STEP;
	if (pointer1 >= TOP) {
	    var	move = pointer1 + "px";
		document.getElementById ("menu1").style.top = move;
        menu1 = setTimeout ("show1 ()", INTERVAL);		
	}
    else clearTimeout (menu1);	
}

function hideMenu1 () {
    if (pointer1 <= BOTTOM) {
        clearTimeout (menu1);
        menu1 = setTimeout ("hide1 ()", INTERVAL);
    }
}

function hide1 () {
    pointer1 += STEP;
	if (pointer1 <= BOTTOM) {
	    var	move = pointer1 + "px";
		document.getElementById ("menu1").style.top = move;		
		menu1 = setTimeout ("hide1 ()", INTERVAL);
	}
    else clearTimeout (menu1);
}

function showMenu2 () {
    if (pointer2 >= TOP) {
		clearTimeout (menu2);
	    menu2 = setTimeout ("show2 ()", INTERVAL);                               
    }
}

function show2 () {
   	pointer2 -= STEP;
	if (pointer2 >= TOP) {
	    var	move = pointer2 + "px";
		document.getElementById ("menu2").style.top = move;
        menu2 = setTimeout ("show2 ()", INTERVAL);		
	}
    else clearTimeout (menu2);
}

function hideMenu2 () {
    if (pointer2 <= BOTTOM) {
        clearTimeout (menu2);
        menu2 = setTimeout ("hide2 ()", INTERVAL);
    }    
}

function hide2 () {
    pointer2 += STEP;
	if (pointer2 <= BOTTOM) {
	    var	move = pointer2 + "px";
		document.getElementById ("menu2").style.top = move;		
		menu2 = setTimeout ("hide2 ()", INTERVAL);
	}
    else clearTimeout (menu2);
}