if (navigator.plugins) {
          for (i=0; i < navigator.plugins.length; i++ ) {
               if (navigator.plugins[i].name.indexOf("QuickTime") >= 0)
                    { haveqt = true; 
					}
            }
        }




function playersAvailable(){

var message="";
	if ((player == 'qt')&&(!(haveqt))){ message = "<br/>Er is geen QuickTime plug-in op uw systeem, mediafragmenten kunnen niet afgespeeld worden";
	document.getElementById('lblBuffer').innerHTML = message;
	document.getElementById('lblBuffer').style.display = '';
 	}
	if ((player == 'wmp')&&( (!(xplayer)) && (!(plugin)) )){ message = "<br/>Er is geen Windows Media ActiveX-control of plug-in op uw systeem, mediafragmenten kunnen niet afgespeeld worden";
	document.getElementById('lblBuffer').innerHTML = message;
	document.getElementById('lblBuffer').style.display = '';
 	}
	

}