function doZoom(size){
	var pagecontent = document.getElementById('pagecontent');
	if(!pagecontent){
	return;
	}
	var pagecontentChild = pagecontent.childNodes;
	pagecontent.style.fontSize = size + 'px';
	for(var i = 0; i < pagecontentChild.length; i++){
		if(pagecontentChild[i].nodeType == 1){
		pagecontentChild[i].style.fontSize = size + 'px';
		}
	}
}