function highlightAddr(yes) {
	var obj = document.getElementById("img-mail");
	if (yes) {
		obj.style["background-image"] = "url('images/mail_hover.gif')";
	} else {
		obj.style["background-image"] = "url('images/mail.gif')";
	}
}

function sendMail() {
	window.open("mailto:<enter manually! protection against spam-bots!>");
}