var menuPrev;
var t;

function headerMenuOpen(menu) {
	//opera.postError('open');
	if (menuPrev==menu) {
		clearTimeout(t);
	} else if (menuPrev) {
		headerMenuClose(menuPrev);
		menuPrev = menu;
	}
	if (menu.style)
		menu.style.display = "block";
}

function headerMenuClose(menu) {
	//opera.postError('close');
	if (menu.style)
		menu.style.display = "none";
	clearTimeout(t);
}

function headerMenuOut(menu) {
	//opera.postError('out');
	//t=setTimeout("headerMenuClose("+menu+")",2500);
	headerMenuClose(menu);
}