A javascript number animator