HASH(0x7fedfe5c80f8)