<SCRIPT language=JavaScript>
function doZoom(size){
document.getElementById('zoom').style.fontSize=size+'pt'
}
// -->
</SCRIPT>
<P align=right>字体大小[ <A
href="javascript:doZoom(14)">大</A> <A
href="javascript:doZoom(12)">中</A> <A
href="javascript:doZoom(9)">小</A> ]
function doZoom(size){
document.getElementById('zoom').style.fontSize=size+'pt'
}
// -->
</SCRIPT>
<P align=right>字体大小[ <A
href="javascript:doZoom(14)">大</A> <A
href="javascript:doZoom(12)">中</A> <A
href="javascript:doZoom(9)">小</A> ]