HASH(0x7f5cfabbfe78)