Dotty

dotty is 1 in NumberdotsREEBOOT