<map id="G" name="G"> <area shape="rect" id="node3" href="$a00161.html#a4bb975da22785441a71599e3b3f8c004" title="Check if timer expired." alt="" coords="359,5,540,32"/> </map>
<map id="G" name="G"> <area shape="rect" id="node3" href="$a00161.html#a4bb975da22785441a71599e3b3f8c004" title="Check if timer expired." alt="" coords="359,5,540,32"/> </map>