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