<map id="DecimaterViewerWidget" name="DecimaterViewerWidget">
<area shape="rect" id="node1" title=" " alt="" coords="37,229,199,256"/>
<area shape="rect" id="node2" href="$a02230.html" title=" " alt="" coords="5,155,231,181"/>
<area shape="rect" id="node3" href="$a02234.html" title=" " alt="" coords="53,80,183,107"/>
<area shape="rect" id="node4" title=" " alt="" coords="73,5,163,32"/>
</map>
