HASH(0x7f5cd80f0e68)