2^32/(80 MHz)