HASH(0x7f5cd40cc2c8)