function changeFont(val,area){
	var ii;
	var obj;
	var obj2;
	for(ii=1;ii<=3;ii++){
		obj=document.getElementById("fonticon"+ii);
		obj2=document.getElementById(area);
		if(ii==val){
			obj.src="/img/fontsize_"+ii+"_on.gif";
			if(val==1) obj2.className="news_s";	
			if(val==2) obj2.className="news_m";	
			if(val==3) obj2.className="news_l";				
		}else{
			obj.src="/img/fontsize_"+ii+"_off.gif";
		}
	}
}