HASH(0x7fedf65c7b50)