Thirteen is the lucky number for doublecortin.