if (navigator.userAgent.indexOf('Netscape/7.0')==-1)
{
	document.write ('<ul><li class="smaller"><a href="javascript:return fontsizedown()" title="Smaller" id="fontsizedown" onclick="return fontsizedown();">Smaller text</a></li><li class="larger"><a href="javascript:return fontsizeup()" title="Larger" id="fontsizeup" onclick="return fontsizeup();">Larger text</a></li></ul>');
}


if (navigator.userAgent.indexOf('Netscape/7.0')==-1)
{
	document.write ('<ul class="reset"><li class="reset"><a href="javascript:return reset()" id="reset" onclick="return reset();" title="Reset All">Reset text size</a></li></ul>');
}