2^32 / (80 MHz)