function set_mail_links() {
	var a = document.getElementsByTagName("a");
	for (i = 0; i < a.length; i++) {
		if(a[i].className == "mail")
			a[i].href = "mai" + "lto:" + "in" + "fo@" + "las" + "tsp" + "las" + "h.com";
	}
}