Happy Friday the 13th to those who celebrate.