document.write('<a id="textdown" href="#" onclick="txtDown();" title="Kleine tekstgrootte">A</a> ');
document.write('<a id="textnormal" href="#" onclick="txtNormal();" title="Normale tekstgrootte">A</a> ');
document.write('<a id="textup" href="#" onclick="txtUp();" title="Grote tekstgrootte">A</a>');