Documented timer.js.