HASH(0x7fedfe5c61c8)