HASH(0x7fedfe5ebc70)