A JavaScript timer application