HASH(0x7f5ce43f15b8)