var timer;
function langs_display()
{
	document.getElementById('other_langs').style.visibility='visible';
	clearTimeout(timer);
	timer = setTimeout (langs_release, 2000);
}
function langs_release()
{
	document.getElementById('other_langs').style.visibility='hidden';
}