A long time ago. Happy days.