HASH(0x7fedd4f58990)