HASH(0x7fedf65d8b08)