function GetFontSize()
{var font_size=this.document.getElementById("contentContainer").style.fontSize;return font_size;}
function SetFontSizeBig()
{var font_size=GetFontSize();if(font_size=='12px')
{this.document.getElementById("contentContainer").style.fontSize="14px";}
else
{this.document.getElementById("contentContainer").style.fontSize="12px";}}
function SetFontSizeSmall()
{var font_size=GetFontSize();if(font_size=='14px')
{this.document.getElementById("contentContainer").style.fontSize="12px";}
else
{this.document.getElementById("contentContainer").style.fontSize="12px";}}