An open source timer for internet cafe