function ChangeText(t) {
   document.getElementById('text1').innerHTML=t;
}