HASH(0x7fedfc5397c8)