<map id="Public Properties" name="Public Properties">
<area shape="rect" id="node1" href="$a00631.html" title=" " alt="" coords="5,5,257,45"/>
<area shape="rect" id="node2" title="Public properties of the application layer of the push button task." alt="" coords="305,13,497,38"/>
</map>
