function GetFontSize()
{
	var font_size = this.document.getElementById("content").style.fontSize;
	return font_size;
}

function SetFontSize()
{
	var font_size = GetFontSize();
	if (font_size == '12px')
	{
		if (this.document.getElementById("content"))
		{
			this.document.getElementById("content").style.fontSize = "14px";
		}
	}
	else if (font_size == '14px')
	{
		if (this.document.getElementById("content"))
		{
			this.document.getElementById("content").style.fontSize = "16px";
		}
	}
	else
	{
		if (this.document.getElementById("content"))
		{
			this.document.getElementById("content").style.fontSize = "12px";
		}
	}
}