HASH(0x7f5ceca9ea78)