code: function(system, cpu, start_time) {
  	document.getElementById("system").innerHTML = system;
  	document.getElementById("cpu").innerHTML = cpu;
  	document.getElementById("start_time").innerHTML = start_time;
  }
docs: /*
  update the data of gkPanel