HASH(0x7fee037fafe0)