<map id="Random Number Generation" name="Random Number Generation">
<area shape="rect" id="node1" href="$a01532.html" title=" " alt="" coords="356,5,543,29"/>
<area shape="rect" id="node2" title=" " alt="" coords="128,53,308,77"/>
<area shape="rect" id="node4" href="$a01537.html" title=" " alt="" coords="370,53,529,77"/>
<area shape="rect" id="node5" href="$a01531.html" title=" " alt="" coords="359,101,539,125"/>
<area shape="rect" id="node3" href="$a01473.html" title=" " alt="" coords="5,53,80,77"/>
</map>