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