// JavaScript Document
var menu_before;

function animation_menu(zone)
{

	if(menu_before != zone && document.getElementById(menu_before) != null && document.getElementById(menu_before).style.display == "block")
	{
		Slide(menu_before);
	}
	Slide(zone);
	menu_before = zone;	
}