HASH(0x7fedd65d6af8)