function changeColor(col, radbut) {
  document.getElementById("emblems").style.backgroundColor = col;
  document.getElementById("colval").value = col;
  if (radbut != "") document.getElementById(radbut).checked = "checked";
}