function favorieten(title, url) {
   if (document.all) {
	  window.external.AddFavorite(url, title);
   } else if (window.sidebar) {
	  window.sidebar.addPanel(title, url, "");
   }
}

function changeBroken(teller, percentage){
	document.getElementById('teller').innerHTML = teller;
	document.getElementById('percentage').innerHTML = percentage;
}