HASH(0x7f5cccdd64d8)