function doZoom(size){
	var td_body = document.getElementById('td_body');
	if(!td_body){
		return;
	}
	var td_bodyChild = td_body.childNodes;
	td_body.style.fontSize = size + 'pt';
	//再对td_body div内的直接html节点设置fontSize属性
	for(var i = 0; i < td_bodyChild.length; i++){
		if(td_bodyChild[i].nodeType == 1){
			td_bodyChild[i].style.fontSize = size + 'pt';
		}
	}		
}