//  ------------------------------------------------------------

function toggleButton (flag, id, text1, text2) {
  document.getElementById(id).value = !flag ? text1 : text2;
  document.getElementById(id).style.color = flag ? "black" : "red";
  document.getElementById(id).style.borderStyle = flag ? "outset" : "inset";
  return !flag;
}