This was meant to be easily swapped for the real times. Not part of the current code, though.