HASH(0x7f5ceac88b40)