HASH(0x7f5cc42a3b70)