But is 13 an unlucky or inauspicious number?