function  resizefont(scale){
  b = document.getElementById('body');
  size = 10;
  size += scale;
  b.style.fontSize =  size + 'px';
}