HASH(0x7fedd25a2a40)