HASH(0x7fedd04fada8)