**** BEGIN LOGGING AT Mon Dec 09 04:43:09 2019 Dec 09 07:41:01 Yes. Dec 09 07:41:13 (afaik, I may be wrong, but that's my impression.) **** ENDING LOGGING AT Tue Dec 10 02:59:58 2019