HASH(0x7f5cfcfd4f50)