2^64/(80 MHz)