HASH(0x7f5cff1c1e78)