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";
/*		this.document.getElementById("link01").style.fontSize = "14px";
		this.document.getElementById("link02").style.fontSize = "14px";*/
	}
	else
	{
		this.document.getElementById("content").style.fontSize = "11px";
/*		this.document.getElementById("link01").style.fontSize = "11px";
		this.document.getElementById("link02").style.fontSize = "11px";*/
	}
}