HASH(0x7fedd65dc550)