<SCRIPT language=JavaScript>function doZoom(size){document.getElementById('zoom').style.fontSize=size+'px'}【