function do_font_size(mic){
	var modif = mic ? -1 : 1;
	var cont =  document.getElementById('contnews');
	var ars = new Array('fs11','fs12','fs13','fs14','fs16','fs18');
	if(!cont) return;
	cn = cont.className;
	lcl = 2;
	lclp = cn;
	for(i =0; i<ars.length; i++){
		if(ars[i] === lclp){
			lcl = i;
		}
	}

	prop = Number(lcl) + Number(modif);
	if((prop < 0) || (prop > 5) ) return;
	
	cont.className = ''+ars[prop];
	if(window['hnscroll']){
//		hnscroll.refresh();
	}
	xmlhttp=new XMLHttpRequest(); URL = STI+'/textsize&cl='+ars[prop];
	xmlhttp.open("GET",URL,true); xmlhttp.send();	
}