this.thaw = function() {
    this.plot.style.webkitFilter = "";
    this.prof.style.color = "#000";
    for (var i in input_elements) {
      this[input_elements[i]].disabled = false;