HASH(0x7fedfe5f2b80)