<map id="boost::random::rngstream" name="boost::random::rngstream">
<area shape="rect" id="node1" title=" " alt="" coords="5,80,196,107"/>
<area shape="rect" id="node2" href="$a01072.html" title=" " alt="" coords="34,5,167,32"/>
</map>
