<map id="G" name="G">
<area shape="rect" id="node2" href="$a00257.html" title="false_type" alt="" coords="69,101,147,131"/>
<area shape="rect" id="node4" href="$a00257.html" title="integral_constant" alt="" coords="5,5,211,35"/>
</map>