	function setFontSize(a){
		var CONTENT=document.getElementById("CONTENT");
		CONTENT.className=a;
	}

