HASH(0x7fa9d45654f8)