. . . "Unfortunately, he is just what happened last week, when we learned a mere 24 hours or so ahead of time that Friday -- notable already for being the 13th -- was none other than 1234567890 Day!" .