HASH(0x7fedd65d7628)