<!--
.IE3-dummy { font-size: 100%; }
-->