HASH(0x7fedd65dbca8)