Ditto magic number