// JavaScript Document
function setFontSize(px){

    var t=document.getElementsByTagName("div");
	 for (var i = 0; i < t.length; i++) { 
		if(t[i].className=="chinakm_article_content"){
			t[i].style.fontSize=px+"px";
		}
 	 }
}