HASH(0x7fedfe5d1ba0)