HASH(0x7f5ceac2bc50)