function setNavElement(element) {
	var e = document.getElementById(element);
	if (e) {
		e.className = e.className + ' navSelected';
	} else {
		alert("Element " + element + " not found");
	}
}

function emailMe() {
	document.write('<a href="ma' + 'ilto:tx' + '0@strum' + 'entiresis' + 'tenti.or' + 'g">tx0' + '@' + 'strumen' + 'tiresist' + 'enti' + '.org' + '</a>');
}