<!--
function noSpam(domain, user, extension){
	locationstring = "mailto:" + user + "@" + domain + "." +extension;
	window.location = locationstring;
}


//popupElem = null;
navClicked = false;

function showPopup(id) {
	var e = document.getElementById(id);
	if (e) {
		e.style.display = 'block';
		popupElem = e;
	}
}

function closePopup(id) {
	var e = document.getElementById(id);
	if (e) {
		e.style.display = 'none';
		popupElem = e;
	}
	/*
	if (popupElem) {
		popupElem.style.display = 'none';
		popupElem = null;
	}*/
}

function navigateTo(url) {
	if (!navClicked)
		document.location.href = url;
	navClicked = true;
}

-->