<!--
	// plus
	if (textsize < stylesheetTitles.length-1) {
		var plus = "<a href=\"javascript:increase();\"><img src=\"/images/sub/text_plus.gif\" width=\"89\" height=\"25\" border=\"0\" name=\"plus\" id=\"plus\" alt=\"Increase text size\"></a>" ; }
	else {
		var plus = "<a href=\"javascript:increase();\"><img src=\"/images/sub/text_plus_ia.gif\" width=\"89\" height=\"25\" border=\"0\" name=\"plus\" id=\"plus\" alt=\"Increase text size\"></a>" ; }
	document.write(plus);
	//-->