function text_off(id){
    document.getElementById(id).style.backgroundColor = "white";
  }

function text_on(id){
    document.getElementById(id).style.backgroundColor = "#BFD8E7";
  }