function fontsize(aSize){
	switch(aSize){
	case 12:
		document.getElementById("textflag").className='style01';
		break;
	case 14:
		document.getElementById("textflag").className='style02';
		break;
	case 16:
		document.getElementById("textflag").className='style03';
		break;
	}
}