menu_timer = null;
function hide_menu()
{
	menu_timer = setTimeout('hide_menu_now()', 250);
}
function keep_menu()
{
	clearTimeout(menu_timer);
}
function hide_menu_now()
{
	document.getElementById('change_country').style.visibility='hidden';
}
function show_menu_now()
{
	keep_menu();
	document.getElementById('change_country').style.visibility='visible';
}