var mail_kukac = '@';
var mail_pont = '.';
var mail_addr = mail_kukac+'bibl'+mail_pont+'u-szeged'+mail_pont+'hu';

function start() {
	var allspan = document.body.getElementsByTagName("span");
	for (i=0; i<allspan.length; i++) {
		spanobj = allspan[i];
		id = spanobj.id;
		mailid = id.replace("mail_", "");
		if (mailid!=id) {
			spanobj.innerHTML=mailid+mail_addr;
			spanobj.parentNode.href='mailto:'+mailid+mail_addr;
		}
	}
}