<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>