function insert_text_size() {
	document.write('<a href="javascript:increaseFontSize();"><img src="/images/icon-plus.gif" width="17" height="17" alt="Increase the font size" title="Increase the font size" class="text_size_button" /></a>');
	document.write('<a href="javascript:decreaseFontSize();"><img src="/images/icon-minus.gif" width="17" height="17" alt="Decrease the font size" title="Decrease the font size" class="text_size_button" /></a>');
	document.write('<span class="text_size">Text Size</span>');
}