Paitsi, että 13 on oikeasti onnen numero.