function changeFontSize(thisSize){
	var thisBody=window.document.getElementById('txtsize');
	var newSize='small';
	if(thisSize=='1')newSize='large';

	thisBody.className=newSize;

}