HASH(0x7fedfe5cd928)