//Font size control
function doZoom(size) {
  document.getElementById('goods-intro').style.fontSize=14+'px';
  document.getElementById('goods-intro').style.fontSize=size+'px';
}