HASH(0x7f5cde1a6a70)