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

function SetFontSize()
{
	var font_size = GetFontSize();
	if (font_size == '10px')
	{
		this.document.getElementById("FontSize").style.fontSize = "11px";
/*		this.document.getElementById("link01").style.fontSize = "14px";
		this.document.getElementById("link02").style.fontSize = "14px";*/
	}
	else if  (font_size == '11px')
	{
		this.document.getElementById("FontSize").style.fontSize = "12px";
/*		this.document.getElementById("link01").style.fontSize = "12px";
		this.document.getElementById("link02").style.fontSize = "12px";*/
	}
	else if  (font_size == '12px')
	{
		this.document.getElementById("FontSize").style.fontSize = "14px";
/*		this.document.getElementById("link01").style.fontSize = "12px";
		this.document.getElementById("link02").style.fontSize = "12px";*/
	}
	else
	{
		this.document.getElementById("FontSize").style.fontSize = "10px";
/*		this.document.getElementById("link01").style.fontSize = "12px";
		this.document.getElementById("link02").style.fontSize = "12px";*/
	}
}