An HTML number game