HASH(0x7f5ceaa80f40)