HASH(0x7fa9a958c7f0)