HASH(0x7fa9e7003c40)