var FontLarge = true;
function increaseFontSize(id, font_small, font_large) 
{
	var s = document.getElementById(id);
	
	if (!FontLarge)
	{
		s.style.fontSize = font_small;
	}
	else
	{
		s.style.fontSize = font_large;
	}
	
	FontLarge = !FontLarge;
}