//ChangeFontSize
function chfontsize(box, size)
{
  var cssbox = document.getElementById(box);
  cssbox.style.fontSize = size;
}