<map id="boost::random::rngstream" name="boost::random::rngstream">
<area shape="rect" id="node1" title=" " alt="" coords="5,80,176,107"/>
<area shape="rect" id="node2" href="$a01071.html" title=" " alt="" coords="29,5,153,32"/>
</map>
