var show_time;

	function checkdocument (nome) {
		
		if   (document.all) return eval("document.all." + nome);
		else 		    return document.getElementById(nome);
	}

	function switchLangs () {
			
		if (checkdocument("hiddenlangs").style.display == 'block') {
			checkdocument("hiddenlangs").style.display = 'none';
		} else {
			checkdocument("hiddenlangs").style.display = 'block';
		}
	}