HASH(0x7fedf78a01e0)