HASH(0x7fedfa5ddfd0)