<!--
function changeText(newText){
document.getElementById("contenttext").innerHTML=newText
}
//-->