HASH(0x7f5cd40e43f0)