function changFontSize(id,target,size){
		ii=1;
		for(ii=1;ii<=3;ii++){
			obj=document.getElementById("fontsize"+ii);
			if(ii==id){
				obj.src="/images/fontsize_"+ii+"_on.gif";
				obj2=document.getElementById(target).style.fontSize=size;
			}else{
				obj.src="/images/fontsize_"+ii+"_off.gif";
			}
		}
		
	}