function setFontSize(size)
{
	if (size == 'normal')
	{
	    document.getElementById('resize').style.fontSize = '12px'
	}
	else if (size == 'larger')
	{
		document.getElementById('resize').style.fontSize = '14px'
	}
	else if (size == 'largest')
	{
	    document.getElementById('resize').style.fontSize = '18px'
	}
}