function setcolor(widget, color) {
    var widget = document.getElementById(widget);
  widget.style.background = color;}