document.write("<div class='smallerfont'><a href=\"javascript:changeFontsize('-1');\">SMALLER</a> | <a href=\"javascript:changeFontsize('0');\">NORMAL</a> | <a href=\"javascript:changeFontsize('1');\">LARGER</a> || <a href=\"javascript:toggle_visibility('tt')\">NUMBERS</a></div>")