<map id="Numerics" name="Numerics">
<area shape="rect" id="node1" href="$a01513.html" title=" " alt="" coords="145,5,291,43"/>
<area shape="rect" id="node2" href="$a01494.html" title=" " alt="" coords="128,67,308,91"/>
<area shape="rect" id="node3" title=" " alt="" coords="5,149,80,173"/>
<area shape="rect" id="node4" href="$a01511.html" title=" " alt="" coords="149,115,287,152"/>
<area shape="rect" id="node5" href="$a01470.html" title=" " alt="" coords="156,176,280,200"/>
<area shape="rect" id="node6" href="$a01481.html" title=" " alt="" coords="165,224,271,248"/>
<area shape="rect" id="node7" href="$a01497.html" title=" " alt="" coords="149,272,287,309"/>
</map>