HASH(0x7fedfe5efff0)