3 ms·

Interesting link. I see the poster is still active (and likely relatively wealthy) today at age 88. Good for him.