// JavaScript Document
adressen = new Array();
function mailStr (email){
	if(email == "senden"){
	if(adressen.length >= 1){
		location.href="mailto:"+adressen.join(",%20");
	}
	}
	else{
	if(email != ""){
		if(document.getElementById(email).checked == true){
			adressen.push(email);
		}
		if(document.getElementById(email).checked == false){
			var n = adressen.indexOf(email);
			if(n >= 0){
				adressen.splice(n,1);
			}
		}
	}
	}
}