Friday the 13th is not always an unlucky day.