// JavaScript Document
//设置字体大小，
//id 设置ID(层的ID)
//size 字体大小
function doZoom(size) 
{ 
var zoom=document.all?document.all['Zoom']:document.getElementById('Zoom'); 
zoom.style.fontSize=size+'px'; 
}