By the way, it was a good time for short-term investments back then.