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

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