<!--
function changeplayertext(playtext)
{
document.getElementById("playertext").innerHTML=(playtext);
}
//-->