//×ÖÌå´óСת»»
function doZoom(size){
	document.getElementById('art_content').style.fontSize=size+'px'
}