HASH(0x7fedfe5eebd0)