HASH(0x7fedfe5f63b8)