HASH(0x7fedfe5e9220)