<map id="Strings" name="Strings">
<area shape="rect" id="node1" href="$a01464.html" title=" " alt="" coords="248,36,332,60"/>
<area shape="rect" id="node2" href="$a01517.html" title=" " alt="" coords="243,107,337,131"/>
<area shape="rect" id="node3" title=" " alt="" coords="5,72,65,96"/>
</map>