HASH(0x7fedd65bba60)