function doZoom(size) { var zoom = document.all ? document.all['Zoom'] : document.getElementById('Zoom'); //改变文字大小 zoom.style.fontSize = size + 'px'; }