HASH(0x7f5ce0031a28)