Torsdagen den trettonde ( is ),