function ro(obj) {
  document.getElementById(obj).style.backgroundColor = "#c9c9c9";
}

function rb(obj) {
  document.getElementById(obj).style.backgroundColor = "#5277ff";
}