// Mouseover fuer Navigation
function changeNavImg(id, img) {
	document.getElementById(id).src = '../image/design/nav_' + img + '.png';
}

// Mask Mail Address
function maskMail(user,domain,text,img) {
	if(text != '') {
		document.write('<a href="mailto:' + user+'&#64;' + domain + '">' + text + '</a>');
	} else if(img != '') {
		document.write('<a href="mailto:' + user+'&#64;' + domain + '">' + img + '</a>');
	} else {
		document.write('<a href="mailto:' + user + '&#64;' + domain + '">' + user + '&#64;' + domain +'</a>');
	}
}