if(top.location!=self.location){
top.location.replace(self.location)
}
function puntjes(objectID1,objectID2,kleur){
	document.getElementById(objectID1).style.color=kleur;
	document.getElementById(objectID2).style.color=kleur;
}