HASH(0x7f5cd65b59d0)