Used for the Arduino Timer1