HASH(0x7fedfe5b14d8)