// JavaScript Document
function fontZoom(size)
{
 document.getElementById('fontzoom').style.fontSize=size+'px'
}
document.write('<div align="right">【字体：<A class=black href="javascript:fontZoom(16)">大</A>&nbsp;<A class=black'); 
document.write('            href="javascript:fontZoom(14)">中</A>&nbsp;<A class=black'); 
document.write('            href="javascript:fontZoom(12)">小</A>】'); // JavaScript Document