HASH(0x7f5cae00ee28)