HASH(0x7fedee64c968)