var link_over_counter = 0;

function headerMenuClick(m_title) {
	var div	= document.getElementById('header_submenu_' + m_title);
	div.style.display= 'block';
}

function menu_mouse_out(m_title) {
	var div	= document.getElementById('header_submenu_' + m_title);
	if (link_over_counter == 0) {
		div.style.display= 'none';
	}
}

function link_over() {
	link_over_counter = 1;
}

function link_out() {
	link_over_counter = 0;
	window.setTimeout('menu_mouse_out(\'WikiArticles\')', 200);
}