// JScript 文件

function doZoom(size){
  document.getElementById('zoom').style.fontSize=size+'px';
}