HASH(0x7f5cfca112f0)