HASH(0x7f5cedc1cb48)