// 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>】【<A'); 
document.write(' href="#" onclick=document.execCommand("print")>打印</A>】【<A ');
document.write('            class=black href="javascript:window.close()">关闭</A>】</div>');