<map id="Invalidation Guarantees" name="Invalidation Guarantees">
<area shape="rect" id="Node000001" title=" " alt="" coords="102,5,270,35"/>
<area shape="rect" id="Node000002" href="$a01780.html" title=" " alt="" coords="5,5,54,35"/>
</map>
