var okTohide = true;
function showlang() {
	okTohide = false;
	document.getElementById("tools-languagepicker").style.display = "block";
}
function hidelang() {
	okTohide = true;
	setTimeout("hide()", 150);
}
function activelang() {
	okTohide = false;
}
function hide(){
	if (okTohide) {
		document.getElementById("tools-languagepicker").style.display = "none";
	}
}
function validateEmail(email) {
	var regExp = /^[\w\-_]+(\.[\w\-_]+)*@[\w\-_]+(\.[\w\-_]+)*\.[a-z]{2,4}$/i;
	return regExp.test(email);
}