a (somewhat) lightweight javascript timer.