Dnsdagen den 9 November.