"en" xml:lang="en">
      <div class="titlepage">
        <div>
          <div>
            <h2 class="title" style="clear: both"><a id="electiontimes"></a>Managing Election Times</h2>
          </div>
        </div>
      </div>
      <div class="toc">
        <dl>
          <dt>
            <span class="sect2">
              <a href="electiontimes.html#electiontimeout">Managing Election Timeouts</a>
            </span>
          </dt>
          <dt>
            <span class="sect2">
              <a href="