function changeFontSize(divid,n){
	document.getElementById(divid).style.fontSize=n+"px";
}