loop
    ...
    ...
    // sleep 10
    sleep 7 // Changed from "sleep 10" on 11-19-05
            // by jvj because Bruce in Buffalo bitched
            // that it ran too long.  Now he's happy.
            // The next time he bitches, change it to
            // "sleep 5".  That oughta buy us another
            // year before we have to rewrite it.
    ...
    ...
  until done do repeat