HASH(0x7fedfda4ffc0)