HASH(0x7fededa20808)