A quick announcement: I don't know when the U.S. stock market switched to winter time,
but anyway, it opens at 10:30 here.
Take note, okay? Take note!