// JavaScript Document
document.write('<p class="titolettobold">Carattere<br /><a href="javascript: setFontSize(3)"><img src="img/a1.gif" alt="a" width="15" height="21"border="0" /></a> &nbsp;&nbsp;&nbsp;&nbsp;<a href="javascript: setFontSize(4)"><img src="img/a2.gif" alt="a2" width="15" height="21"border="0" /></a>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<a href="javascript: setFontSize(5)"><img src="img/a3.gif" alt="a3" width="15" height="21"border="0" /></a></p>');