HASH(0x7f5cade91c78)