function display_languages()
{
	document.getElementById("language_dropdown").style.display = "block";
}
function hide_languages()
{
	document.getElementById("language_dropdown").style.display = "none";
}