function swapColor(id, bgcolor, color) {
  if (bgcolor != '') { document.getElementById(id).style.backgroundColor = bgcolor; }
  if (color != '') { document.getElementById(id).style.color = color; }
}

function swapDecoration(id, decoration) {
  document.getElementById(id).style.textDecoration = decoration;
}

function gotoUrl(url) {
  window.location.href = url;
}

function setCheckedTrue(id, bool) {
  if (bool != 1) {
    document.getElementById(id).checked = true;
  }
}

function setCheckedFalse(id, bool) {
  if (bool != 1) {
    document.getElementById(id).checked = false;
  }
}