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