document.writeln('<dl id="style-switcher">');
document.writeln('<dt><img src="/en/shared/img/header-utility_txt_03.gif" width="51" height="11" alt="Text Size" /></dt>');
document.writeln('<dd><ul>');
document.writeln('<li><a href="#"><img src="/en/shared/img/btn_fontsize-small.gif" alt="Text Size Small" width="19" height="19" /></a></li>');
document.writeln('<li><a href="#"><img src="/en/shared/img/btn_fontsize-medium.gif" alt="Text Size Medium" width="19" height="19" /></a></li>');
document.writeln('<li><a href="#"><img src="/en/shared/img/btn_fontsize-large.gif" alt="Text Size Large" width="19" height="19" /></a></li>');
document.writeln('</ul></dd>');
document.writeln('</dl>');