HASH(0x7fa9b44f59d8)