HASH(0x7f7aa40c7ff0)