thirteen is a number