HASH(0x7f5d02ef57d0)