function fontsize(elemntID,key,value) {
  document.getElementById(elemntID).style[key] = value;
}