HASH(0x7fedd25a33d0)