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

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