HASH(0x7f5ce9eea4d0)