<map id="dirac_instr_t" name="dirac_instr_t">
<area shape="rect" id="node1" title=" " alt="" coords="85,116,186,145"/>
<area shape="rect" id="node2" href="$a00658.html" title=" " alt="" coords="5,5,133,34"/>
<area shape="rect" id="node3" href="$a00654.html" title=" " alt="" coords="157,5,250,34"/>
</map>
