<!--
menuon = false;
timer = 0;
function showmenu(){
	if ( menuon ) {
		timer = 0;
		hidemenu();
		return;
	}
	var m = document.getElementById( 'langmenu' );
	m.style.display = 'inline';
	setTimeout( 'hidemenu()', 1000 );
	timer=5;
	menuon = true;
}
function reset() {
	if( timer )  timer = 5;
}
function hidemenu() {
	if( !timer ) {
		var m = document.getElementById( 'langmenu' );
		m.style.display = 'none';
		menuon = false;
	}
	else {
		timer--;
		setTimeout( 'hidemenu()', 1000 );
	}
}
//-->