HASH(0x7fedfe5e24d0)