if(document.cookie.indexOf('fontsize=Large') != -1) {
	document.write('<div class="FontButtom">Adjust&nbsp;Font&nbsp;Size<br><a href="/SetFontSize.asp?fontsize=Small"><img vspace="5" src="/images/font_sizes_small.gif" border="0" alt="Change to small font size"></a>&nbsp;<a href="/SetFontSize.asp?fontsize=Medium"><img vspace="5" src="/images/font_sizes_medium.gif" border="0" alt="Change to medium font size"></a>&nbsp;<img vspace="5" src="/images/font_sizes_large.gif" border="1" alt="Large font size">&nbsp;&nbsp;&nbsp;</div>');
} else {
	if(document.cookie.indexOf('fontsize=Medium') != -1) {
		document.write('<div class="FontButtom">Adjust&nbsp;Font&nbsp;Size<br><a href="/SetFontSize.asp?fontsize=Small"><img vspace="5" src="/images/font_sizes_small.gif" border="0" alt="Change to small font size"></a>&nbsp;<img vspace="5" src="/images/font_sizes_medium.gif" border="1" alt="Medium font size"></a>&nbsp;<a href="/SetFontSize.asp?fontsize=Large"><img vspace="5" src="/images/font_sizes_large.gif" border="0" alt="Change to large font size"></a>&nbsp;&nbsp;&nbsp;</div>');
	} else {
		document.write('<div class="FontButtom">Adjust&nbsp;Font&nbsp;Size<br><img vspace="5" src="/images/font_sizes_small.gif" border="1" alt="Small font size">&nbsp;<a href="/SetFontSize.asp?fontsize=Medium"><img vspace="5" src="/images/font_sizes_medium.gif" border="0" alt="Change to medium font size"></a>&nbsp;<a href="/SetFontSize.asp?fontsize=Large"><img vspace="5" src="/images/font_sizes_large.gif" border="0" alt="Change to large font size"></a>&nbsp;&nbsp;&nbsp;</div>');
	}
}