HASH(0x7fa9e91d45d0)