3 ms·

Then someone else would reply that it was actually because Government workers traditionally finished their work day at 4:51pm.