function addEvents (eventobject,eventtype,eventfunction) {
	if (eventobject.addEventListener)
		eventobject.addEventListener (eventtype,eventfunction,false);
	else if (eventobject.attachEvent)
		eventobject.attachEvent ('on'+eventtype,eventfunction)
	else
		eventobject['on'+eventtype]=eventfunction
}

function fix_mail () {
	var user=['webmaster','infogruppen']
	var userid, mail, msub
	for (var nr=0; nr<user.length; ++nr) {
		userid=user[nr].substring(0,4)
		mail=document.getElementById(userid)
		msub=mail.href.substring(mail.href.indexOf('#')+1)
		mail.href='mailto:'+user[nr]+msub+'usenet.dk'
	}
}

function fix_sg () {
	var mail=document.getElementById('styr')
	var msub=mail.href.substring(mail.href.indexOf('#')+1)
	mail.href='mailto:styregruppen'+msub+'usenet.dk'
}

addEvents (window,'load',fix_mail)
addEvents (window,'load',fix_sg)