function change(id,newtext) {
  document.getElementById(id).innerHTML=newtext;
}