<map id="WallClockTimer" name="WallClockTimer">
<area shape="rect" id="node1" title=" " alt="" coords="5,80,129,107"/>
<area shape="rect" id="node2" href="$classarmnn_1_1_instrument.html" title=" " alt="" coords="21,5,114,32"/>
</map>